Computer Aided Verification
Editat de Orna Grumberg
4 iun 1997
Paperback
Preț: 345.90 lei 432.37 lei
6-8 săpt.
-20%
Cărți editura Springer
25 Years of Model Checking
Editat de Orna Grumberg et al.
17 iun 2008
Paperback
Preț: 230.77 lei 288.47 lei
6-8 săpt.
-20%