Temporal Logic and State Systems
Autor Fred Kröger et al.
27 mar 2008
Hardback
Preț: 500.14 lei 625.17 lei
6-8 săpt.
-20%
Cărți de Stephan Merz
Modeling and Verification of Real-Time Systems
Editat de Nicolas Navet et al.
apr 2008
Hardback
Preț: 1226.63 lei 1867.35 lei
Indisponibil temporar
-34%
Formal Systems Specification: The RPC-Memory Specification Case Study
Editat de Manfred Broy et al.
6 noi 1996
Paperback
Preț: 332.74 lei 415.93 lei
6-8 săpt.
-20%
Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
Editat de Stephan Merz et al.
23 sep 2014
Paperback
Preț: 328.48 lei 410.60 lei
6-8 săpt.
-20%
Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings
Editat de Dominique Méry et al.
6 oct 2010
Paperback
Preț: 322.11 lei 402.64 lei
6-8 săpt.
-20%
Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
Editat de Jasmin Christian Blanchette et al.
7 aug 2016
Paperback
Preț: 330.36 lei 412.95 lei
6-8 săpt.
-20%