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
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%
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%