Home Page
Authors
Authors
Daniel Kroening - books and biography
Daniel Kroening - books and biography
2 products
2 products
Paper book «Decision Procedures: An Algorithmic Point of View», authors Daniel Kroening, Ofer Strichman – фото №1
0
0
Decision Procedures: An Algorithmic Point of View
Daniel Kroening Daniel Kroening, Ofer Strichman
Not available
Paper book «Model Checking», authors Daniel Kroening, Doron Peled, Edmund M. Clarke Jr., Helmut Veith, Orna Grumberg – фото №1
0
0
Model Checking
Daniel Kroening Daniel Kroening, Doron Peled, Edmund M. Clarke Jr., Helmut Veith, Orna Grumberg
Not available
0-800-335-425
Free of charge within Ukraine
7 days a week, 09:00-20:00
Mobile application
Read and listen to books in the largest library of eBooks and audiobooks from top Ukrainian and world authors
Yakaboo
Information
© Yakaboo 2004-2026. All rights reserved