Stephan Merz – författare

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

7 produkter

Kategorier

7 produkter

Modeling and Verification of Real-time Systems
Formalisms and Software Tools
AvNicolas Navet,Stephan Merz
Inbunden, Engelska, 2008
3 969 kr
Skickas inom 11-20 vardagar
Del 8829
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
749 kr
Skickas inom 10-15 vardagar
Del 9807
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
749 kr
Skickas inom 10-15 vardagar
Formal Systems Specification
The RPC-Memory Specification Case Study
AvManfred Broy,Stephan Merzm. fl.
Häftad, Engelska, 1996
749 kr
Skickas inom 10-15 vardagar
Temporal Logic and State Systems
AvFred Kröger,Stephan Merz
Inbunden, Engelska, 2008
1 129 kr
Skickas inom 10-15 vardagar
Temporal Logic and State Systems
AvFred Kröger,Stephan Merz
Häftad, Engelska, 2010
1 129 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
749 kr
Skickas inom 10-15 vardagar