Temporal Logic and State Systems
Autor Fred Kröger et al.
27 mar 2008
Hardback
Preț: 520.19 lei 650.24 lei
43-57 zile
-20%
Cărți de Stephan Merz
Modeling and Verification of Real-Time Systems
Editat de Nicolas Navet et al.
apr 2008
Hardback
Preț: 1287.07 lei 1926.86 lei
Indisponibil temporar
-33%