Computer Aided Verification
Editat de Ed Brinksma et al.
19 iul 2002
Paperback
Preț: 640.11 lei 800.14 lei
43-57 zile
-20%
Cărți de Ed Brinksma
Tools and Algorithms for the Construction and Analysis of Systems
Editat de Ed Brinksma
20 mar 1997
Paperback
Preț: 328.94 lei 411.17 lei
43-57 zile
-20%