Stephan Merz - Böcker

Visar alla böcker från författaren Stephan Merz.
7 produkter
Stephan Merz, Jun Pang - Formal Methods and Software Engineering, Häftad

Häftad, Engelska, 2014

739 kr

Skickas inom 7-10 vardagar
Jasmin Christian Blanchette, Stephan Merz - Interactive Theorem Proving, Häftad

Häftad, Engelska, 2016

739 kr

Skickas inom 7-10 vardagar
Manfred Broy, Stephan Merz, Katharina Spies - Formal Systems Specification, Häftad
Del 1169 - Lecture Notes in Computer Science

Formal Systems Specification

Av Manfred Broy, Stephan Merz, Katharina Spies

Häftad, Engelska, 1996

739 kr

Skickas inom 7-10 vardagar
Fred Kröger, Stephan Merz - Temporal Logic and State Systems, Inbunden

Inbunden, Engelska, 2008

1 099 kr

Skickas inom 7-10 vardagar
Fred Kröger, Stephan Merz - Temporal Logic and State Systems, Häftad

Häftad, Engelska, 2010

1 099 kr

Skickas inom 7-10 vardagar
Dominique Méry, Stephan Merz - Integrated Formal Methods, Häftad

Häftad, Engelska, 2010

739 kr

Skickas inom 7-10 vardagar