Cărți de Stephan Merz

Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9807

Editat de Jasmin Christian Blanchette et al.

7 aug 2016

Preț: 343^.44 lei 429^.30 lei

43-57 zile

-20%

Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8829

Editat de Stephan Merz et al.

23 sep 2014

Preț: 341^.48 lei 426^.85 lei

43-57 zile

-20%

Temporal Logic and State Systems

Texts in Theoretical Computer Science. An EATCS Series

Autor Fred Kröger et al.

27 mar 2008

Preț: 520^.17 lei 650^.21 lei

43-57 zile

-20%

Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6396

Editat de Dominique Méry et al.

6 oct 2010

Preț: 334^.86 lei 418^.57 lei

43-57 zile

-20%

Formal Systems Specification: The RPC-Memory Specification Case Study

Lecture Notes in Computer Science, nr. 1169

Editat de Manfred Broy et al.

6 noi 1996

Preț: 345^.91 lei 432^.39 lei

43-57 zile

-20%