Stephan Merz

Visar alla böcker från författaren Stephan Merz. Handla med fri frakt och snabb leverans.

1. 

   Modeling and Verification of Real-time Systems

   2010

   • E-bok 3454 kr
   • E-bok 3379 kr
   • Inbunden 3052 kr
2. 

   Formal Methods and Software Engineering

   2014

   • Häftad 576 kr
   • E-bok 755 kr
3. 

   Interactive Theorem Proving

   2016

   • Häftad 574 kr
   • E-bok 739 kr
4. 

   Temporal Logic and State Systems

   2008

   • Inbunden 860 kr
   • Häftad 860 kr
5. 

   Formal Systems Specification

   1996

   • Häftad 576 kr
6. 

   Temporal Logic and State Systems

   2008

   • E-bok 1084 kr
7. 

   Integrated Formal Methods

   2010

   • Häftad 576 kr
   • E-bok 739 kr