Cărți de Stephan Merz

Temporal Logic and State Systems

Texts in Theoretical Computer Science. An EATCS Series

Autor Fred Kröger et al.

27 mar 2008

Preț: 500^.14 lei 625^.17 lei

43-57 zile

-20%

Formal Systems Specification

Editat de Manfred Broy et al.

6 noi 1996

Preț: 336^.07 lei 420^.09 lei

43-57 zile

-20%

Formal Methods and Software Engineering

Lecture Notes in Computer Science, nr. 8829

Editat de Stephan Merz et al.

23 sep 2014

Preț: 331^.38 lei 414^.22 lei

43-57 zile

-20%

Integrated Formal Methods

Editat de Dominique Méry et al.

6 oct 2010

Preț: 324^.61 lei 405^.76 lei

43-57 zile

-20%

Interactive Theorem Proving

Lecture Notes in Computer Science, nr. 9807

Editat de Jasmin Christian Blanchette et al.

7 aug 2016

Preț: 333^.41 lei 416^.76 lei

43-57 zile

-20%

Modeling and Verification of Real-Time Systems

Editat de Nicolas Navet et al.

apr 2008

Preț: 1232^.60 lei 1868^.36 lei

Indisponibil temporar

-34%