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 Paperback Preț: 343.44 lei 429.30 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 Lecture Notes in Computer Science, nr. 8829 Editat de Stephan Merz et al. 23 sep 2014 Paperback Preț: 341.48 lei 426.85 lei 6-8 săpt. -20%
Temporal Logic and State Systems Texts in Theoretical Computer Science. An EATCS Series Autor Fred Kröger et al. 27 mar 2008 Hardback Preț: 520.17 lei 650.21 lei 6-8 săpt. -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 Paperback Preț: 334.86 lei 418.57 lei 6-8 săpt. -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 Paperback Preț: 345.91 lei 432.39 lei 6-8 săpt. -20%