Kirjat Pallab Dasgupta
A Roadmap for Formal Property Verification
-25% koodilla BOOKS
Toimittajalla varastossa
A Roadmap for Formal Property Verification
-25% koodilla BOOKS
Toimittajalla varastossa
Multiobjective Heuristic Search An Introduction to Intelligent Search Methods for Multicriteria Optimization
Pallab Dasgupta, P. P. Chakrabarti, S. C. DeSarkar
-25% koodilla BOOKS
Toimittajalla varastossa