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.19 lei 650.24 lei 6-8 săpt. -20%
