Temporal Logic and State Systems Texts in Theoretical Computer Science. An EATCS Series Autor Fred Kröger et al. 27 mar 2008 Hardback Preț: 500.14 lei 625.17 lei 6-8 săpt. -20%
Formal Systems Specification Editat de Manfred Broy et al. 6 noi 1996 Paperback Preț: 336.07 lei 420.09 lei 6-8 săpt. -20%
Integrated Formal Methods Editat de Dominique Méry et al. 6 oct 2010 Paperback Preț: 324.61 lei 405.76 lei 6-8 săpt. -20%