Temporal Logic and State Systems
Autor Fred Kröger et al.
27 mar 2008
Hardback
Preț: 520.19 lei 650.24 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ț: 1287.07 lei 1930.37 lei
Indisponibil temporar
-33%