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

Home

Barnes and Noble

The Use of Formal Specification of Software: June 25-27, 1979, Berlin

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

You May Also Like

Abstract Software Specifications: 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings
Barnes and Noble

Abstract Software Specifications: 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings

From Barnes and Noble
Formal Specification: Techniques and Applications / Edition 1
Barnes and Noble

Formal Specification: Techniques and Applications / Edition 1

From Barnes and Noble
Formal Specification and Design
Barnes and Noble

Formal Specification and Design

From Barnes and Noble
Formal Specification Level: Concepts, Methods, and Algorithms
Barnes and Noble

Formal Specification Level: Concepts, Methods, and Algorithms

From Barnes and Noble
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97
Barnes and Noble

Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97

From 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
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

From Barnes and Noble
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 in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings / Edition 1

From Barnes and Noble
Specification and Transformation of Programs: A Formal Approach to Software Development
Barnes and Noble

Specification and Transformation of Programs: A Formal Approach to Software Development

From Barnes and Noble
1. Fachtagung über Programmiersprachen: München, 9.-11. März 1971
Barnes and Noble

1. Fachtagung über Programmiersprachen: München, 9.-11. März 1971

From Barnes and Noble
Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
Barnes and Noble

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

From Barnes and Noble
Formal Methods and Object Technology
Barnes and Noble

Formal Methods and Object Technology

From Barnes and Noble
Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, Proceedings
Barnes and Noble

Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, Proceedings

From Barnes and Noble
Formal Techniques for Networked and Distributed Systems - FORTE 2003: 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003 / Edition 1
Barnes and Noble

Formal Techniques for Networked and Distributed Systems - FORTE 2003: 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003 / Edition 1

From Barnes and Noble
Formal Methods in Standards: A Report from the BCS Working Group
Barnes and Noble

Formal Methods in Standards: A Report from the BCS Working Group

From Barnes and Noble
FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
Barnes and Noble

FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings

From Barnes and Noble
Recent Trends in Data Type Specification: Fifth Workshop on Specification of Abstract Data Types. Gullane, Scotland, September 1-4, 1987. Selected Papers / Edition 1
Barnes and Noble

Recent Trends in Data Type Specification: Fifth Workshop on Specification of Abstract Data Types. Gullane, Scotland, September 1-4, 1987. Selected Papers / Edition 1

From Barnes and Noble
Powered by Adeptmind