Author

Stephan Merz

8 books found

Cover of Die schönsten 3-Minuten Geschichten für eine gute Nacht

Die schönsten 3-Minuten Geschichten für eine gute Nacht

Tina Blase, Christian Tielmann, Jutta Wetzel, Ana Zabo, Marianne Schröder, Dagmar Henze, Katja Mensing, Julia Breitenöder, Luise Holthausen, Katharina E. Volk, Cornelia Funke, Anna Himmel, Barbara Rose, Rosa Pfeffer, Christine Merz, Christin Schill, Stephan Pricken, Moritz Eidechser · First published 2021

Cover of Interactive Theorem Proving

Interactive Theorem Proving

Jasmin Christian Blanchette, Stephan Merz · First published 2016

Cover of Formal Methods and Software Engineering

Formal Methods and Software Engineering

Stephan Merz, Jun Pang · First published 2014

Cover of Integrated Formal Methods

Integrated Formal Methods

Dominique Méry, Stephan Merz · First published 2010

Cover of Modeling and verification of real-time systems

Modeling and verification of real-time systems

Nicolas Navet, Stephan Merz · First published 2008

Cover of Temporal logic and state systems

Temporal logic and state systems

Fred Kröger, Stephan Merz · First published 2008

Cover of Temporal Logic and State Systems

Temporal Logic and State Systems

Stephan Merz,Fred Kr Ger · First published 2008

Cover of Formal systems specification

Formal systems specification

M. Broy, Stephan Merz · First published 1996