Stephan Merz – författare

Visar alla böcker från författaren Stephan Merz.

7 produkter

1. 

   Modeling and Verification of Real-time Systems

   Formalisms and Software Tools

   Av Nicolas Navet, Stephan Merz

   Inbunden, 2008

   4059 kr

   Lägg i varukorg

2. 

   Formal Methods and Software Engineering

   16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings

   Av Stephan Merz, Jun Pang

   Häftad, 2014

   739 kr

   Lägg i varukorg

3. 

   Interactive Theorem Proving

   7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

   Av Jasmin Christian Blanchette, Stephan Merz

   Häftad, 2016

   739 kr

   Lägg i varukorg

4. 

   Formal Systems Specification

   The RPC-Memory Specification Case Study

   Av Manfred Broy, Stephan Merz m. fl.

   Häftad, 1996

   739 kr

   Lägg i varukorg

5. 

   Temporal Logic and State Systems

   Av Fred Kröger, Stephan Merz

   Inbunden, 2008

   1109 kr

   Lägg i varukorg

6. 

   Temporal Logic and State Systems

   Av Fred Kröger, Stephan Merz

   Häftad, 2010

   1109 kr

   Lägg i varukorg

7. 

   Integrated Formal Methods

   8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings

   Av Dominique Méry, Stephan Merz

   Häftad, 2010

   739 kr

   Lägg i varukorg