Computer Aided Verification
Editat de Ed Brinksma et al.
19 iul 2002
Paperback
Preț: 642.10 lei 802.63 lei
6-8 săpt.
-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ț: 329.94 lei 412.42 lei
6-8 săpt.
-20%