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

Home

Barnes and Noble

VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings / Edition 1

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

You May Also Like

Interactive Distributed Multimedia Systems and Services: European Workshop, IDMS'96, Berlin, Germany, March 4-6, 1996 Proceedings / Edition 1

Interactive Distributed Multimedia Systems and Services: European Workshop, IDMS'96, Berlin, Germany, March 4-6, 1996 Proceedings / Edition 1

Barnes and Noble
VIS '91 Verl��liche Informationssysteme: GI-Fachtagung, Darmstadt, 13.-15. M�rz 1991 Proceedings

VIS '91 Verl��liche Informationssysteme: GI-Fachtagung, Darmstadt, 13.-15. M�rz 1991 Proceedings

Barnes and Noble
Formal Software Development: From VDM to Java

Formal Software Development: From VDM to Java

Barnes and Noble
Software Development Environments and Case Technology: European Symposium, K�nigswinter, June 17-19, 1991. Proceedings

Software Development Environments and Case Technology: European Symposium, K�nigswinter, June 17-19, 1991. Proceedings

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
Software Engineering - ESEC '93: 4th European Software Engineering Conference, Garmisch-Partenkirchen, Germany, September 13-17, 1993. Proceedings

Software Engineering - ESEC '93: 4th European Software Engineering Conference, Garmisch-Partenkirchen, Germany, September 13-17, 1993. Proceedings

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
Operating Systems of the 90s and Beyond: International Workshop, Dagstuhl Castle, Germany July 8-12, 1991. Proceedings

Operating Systems of the 90s and Beyond: International Workshop, Dagstuhl Castle, Germany July 8-12, 1991. Proceedings

Barnes and Noble
Computer-Aided Verification: 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings / Edition 1

Computer-Aided Verification: 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings / Edition 1

Barnes and Noble
MFDBS 87: 1st Symposium on Mathematical Fundamentals of Database Systems, Dresden, GDR, January 19-23, 1987. Proceedings

MFDBS 87: 1st Symposium on Mathematical Fundamentals of Database Systems, Dresden, GDR, January 19-23, 1987. Proceedings

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 for Protocol Engineering and Distributed Systems: Forte XII / PSTV XIX'99 / Edition 1

Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / PSTV XIX'99 / Edition 1

Barnes and Noble
ESEC '91: 3rd European Software Engineering Conference, ESEC '91, Milan, Italy, October 21-24, 1991. Proceedings

ESEC '91: 3rd European Software Engineering Conference, ESEC '91, Milan, Italy, October 21-24, 1991. Proceedings

Barnes and Noble
PARLE '93 Parallel Architectures and Languages Europe: 5th International PARLE Conference, Munich, Germany, June 14-17, 1993. Proceedings / Edition 1

PARLE '93 Parallel Architectures and Languages Europe: 5th International PARLE Conference, Munich, Germany, June 14-17, 1993. Proceedings / Edition 1

Barnes and Noble
ECOOP '93 - Object-Oriented Programming: 7th European Conference, Kaiserslautern, Germany, July 26-30, 1993. Proceedings

ECOOP '93 - Object-Oriented Programming: 7th European Conference, Kaiserslautern, Germany, July 26-30, 1993. Proceedings

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
Powered by Adeptmind