A Roadmap for Formal Property Verification
Autor Pallab Dasgupta
5 iul 2006
Hardback
Preț: 622.73 lei 732.62 lei
6-8 săpt.
-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ț: 313.74 lei 392.17 lei
6-8 săpt.
-20%