A Roadmap for Formal Property Verification
Autor Pallab Dasgupta
5 iul 2006
Hardback
Preț: 647.73 lei 762.04 lei
43-57 zile
-15%
Cărți de Pallab Dasgupta
Multiobjective Heuristic Search: An Introduction to intelligent Search Methods for Multicriteria Optimization
Autor Pallab Dasgupta et al.
29 iun 1999
Paperback
Preț: 326.13 lei 407.66 lei
43-57 zile
-20%