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