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ț: 336.54 lei 420.67 lei
43-57 zile
-20%
Cărți de Stephan Merz
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ț: 334.60 lei 418.26 lei
43-57 zile
-20%
Temporal Logic and State Systems
Autor Fred Kröger et al.
27 mar 2008
Hardback
Preț: 509.66 lei 637.08 lei
43-57 zile
-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ț: 328.13 lei 410.15 lei
43-57 zile
-20%
Formal Systems Specification: The RPC-Memory Specification Case Study
Editat de Manfred Broy et al.
6 noi 1996
Paperback
Preț: 338.96 lei 423.70 lei
43-57 zile
-20%