The following text field will produce suggestions that follow it as you type.

Home

Barnes and Noble

Formal Methods in the Methodology of Empirical Sciences: Proceedings of the Conference for Formal Methods in the Methodology of Empirical Sciences, Warsaw, June 17-21, 1974 / Edition 1

Unfortunately, this item is no longer available, but we found some similar items you might like.

You May Also Like

Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings / Edition 1

Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings / Edition 1

Barnes and Noble
Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, Proceedings

Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, Proceedings

Barnes and Noble
Formal Foundations for Software Engineering Methods / Edition 1

Formal Foundations for Software Engineering Methods / Edition 1

Barnes and Noble
Formal Methods in Databases and Software Engineering: Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15-16 May 1992

Formal Methods in Databases and Software Engineering: Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15-16 May 1992

Barnes and Noble
Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings / Edition 1

Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings / Edition 1

Barnes and Noble
Computing Methods in Applied Sciences and Engineering: International Symposium, Versailles, December 17-21, 1973, Part 1 / Edition 1

Computing Methods in Applied Sciences and Engineering: International Symposium, Versailles, December 17-21, 1973, Part 1 / Edition 1

Barnes and Noble
Logic and Scientific Methods: Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 / Edition 1

Logic and Scientific Methods: Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 / Edition 1

Barnes and Noble
Mathematical Foundations of Computer Science 1976: 5th Symposium at Gdansk, Sept. 6-10, 1976. Proceedings

Mathematical Foundations of Computer Science 1976: 5th Symposium at Gdansk, Sept. 6-10, 1976. Proceedings

Barnes and Noble
Studies in the Methodology and Foundations of Science: Selected Papers from 1951 to 1969 / Edition 1

Studies in the Methodology and Foundations of Science: Selected Papers from 1951 to 1969 / Edition 1

Barnes and Noble
Web Services and Formal Methods: 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings / Edition 1

Web Services and Formal Methods: 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings / Edition 1

Barnes and Noble
Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures / Edition 1

Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures / Edition 1

Barnes and Noble
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I

Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I

Barnes and Noble
Software Engineering and Formal Methods: 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

Software Engineering and Formal Methods: 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

Barnes and Noble
Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 / Edition 1

Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 / Edition 1

Barnes and Noble
Mathematical Aspects of Finite Element Methods: Proceedings of the Conference Held in Rome, December 10 - 12, 1975 / Edition 1

Mathematical Aspects of Finite Element Methods: Proceedings of the Conference Held in Rome, December 10 - 12, 1975 / Edition 1

Barnes and Noble
Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings

Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings

Barnes and Noble
Powered by Adeptmind