Hoppa till sidans huvudinnehåll

Stephan Merz - Böcker

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

Modeling and Verification of Real-time Systems

Formalisms and Software Tools

Av Nicolas Navet, Stephan Merz m. fl

Inbunden, Engelska, 2008

3 829 kr

Skickas inom 11-20 vardagar

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, Engelska, 2014

729 kr

Skickas inom 10-15 vardagar

Interactive Theorem Proving

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

Av Jasmin Christian Blanchette, Stephan Merz

Häftad, Engelska, 2016

729 kr

Skickas inom 10-15 vardagar

Formal Systems Specification

The RPC-Memory Specification Case Study

Av Manfred Broy, Stephan Merz m. fl

Häftad, Engelska, 1996

729 kr

Skickas inom 10-15 vardagar

Temporal Logic and State Systems

Av Fred Kröger, Stephan Merz

Inbunden, Engelska, 2008

1 089 kr

Skickas inom 10-15 vardagar

Temporal Logic and State Systems

Av Fred Kröger, Stephan Merz

Häftad, Engelska, 2010

1 089 kr

Skickas inom 10-15 vardagar

Integrated Formal Methods

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

Av Dominique Méry, Stephan Merz

Häftad, Engelska, 2010

729 kr

Skickas inom 10-15 vardagar