Hoppa till sidans huvudinnehåll

Stephan Merz – författare

Visar alla böcker från författaren .
7 produkter
Nicolas Navet, Stephan Merz - Modeling and Verification of Real-time Systems, Inbunden

Modeling and Verification of Real-time Systems

Formalisms and Software Tools

AvNicolas Navet,Stephan Merz

Inbunden, Engelska, 2008

3 939 kr

Skickas inom 11-20 vardagar

Stephan Merz, Jun Pang - Formal Methods and Software Engineering, Häftad
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

729 kr

Skickas inom 10-15 vardagar

Jasmin Christian Blanchette, Stephan Merz - Interactive Theorem Proving, Häftad
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

729 kr

Skickas inom 10-15 vardagar

Manfred Broy, Stephan Merz, Katharina Spies - Formal Systems Specification, Häftad

Formal Systems Specification

The RPC-Memory Specification Case Study

AvManfred Broy,Stephan Merzm. fl.

Häftad, Engelska, 1996

729 kr

Skickas inom 10-15 vardagar

Fred Kröger, Stephan Merz - Temporal Logic and State Systems, Inbunden

Temporal Logic and State Systems

AvFred Kröger,Stephan Merz

Inbunden, Engelska, 2008

1 089 kr

Skickas inom 10-15 vardagar

Fred Kröger, Stephan Merz - Temporal Logic and State Systems, Häftad

Temporal Logic and State Systems

AvFred Kröger,Stephan Merz

Häftad, Engelska, 2010

1 089 kr

Skickas inom 10-15 vardagar

Dominique Méry, Stephan Merz - Integrated Formal Methods, Häftad

Integrated Formal Methods

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

AvDominique Méry,Stephan Merz

Häftad, Engelska, 2010

729 kr

Skickas inom 10-15 vardagar