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
Modeling and Verification of Real-Time Systems
Editat de Nicolas Navet et al.
apr 2008
Hardback
Preț: 1226.63 lei 1867.35 lei
Indisponibil temporar
-34%