Hoppa till sidans huvudinnehåll

Stephan Merz – författare

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

Modeling and Verification of Real-time Systems

Formalisms and Software Tools

AvNicolas Navet,Stephan Merz

Inbunden, Engelska, 2008

3 829 kr

Skickas inom 11-20 vardagar

Del 8829 - Lecture Notes in Computer Science

Formal Methods and Software Engineering

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

AvStephan Merz,Jun Pang

Häftad, Engelska, 2014

719 kr

Skickas inom 10-15 vardagar

Del 9807 - Lecture Notes in Computer Science

Interactive Theorem Proving

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

AvJasmin Christian Blanchette,Stephan Merz

Häftad, Engelska, 2016

719 kr

Skickas inom 10-15 vardagar

Formal Systems Specification

The RPC-Memory Specification Case Study

AvManfred Broy,Stephan Merzm. fl.

Häftad, Engelska, 1996

719 kr

Skickas inom 10-15 vardagar

Temporal Logic and State Systems

AvFred Kröger,Stephan Merz

Inbunden, Engelska, 2008

1 079 kr

Skickas inom 10-15 vardagar

Temporal Logic and State Systems

AvFred Kröger,Stephan Merz

Häftad, Engelska, 2010

1 079 kr

Skickas inom 10-15 vardagar

Integrated Formal Methods

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

AvDominique Méry,Stephan Merz

Häftad, Engelska, 2010

719 kr

Skickas inom 10-15 vardagar