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