Model Checking, second edition
$75.00
| Title | Range | Discount |
|---|---|---|
| Trade Discount | 5 + | 25% |
- Additional information
Additional information
| Weight | 29.1008 oz |
|---|---|
| Dimensions | 1.0800 × 7.3700 × 9.3100 in |
| ISBN-13 | |
| Imprint | |
| Format | |
| Author | Edmund M. Clarke, Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith |
| Audience | |
| Subjects | critical thinking, philosophy, collection, how to, Brain, tech, design, ai, math, robotics, computers, computer science, internet, skills, step by step, logic, manual, statistics, algorithms, productivity, programming, mathematics, algorithm, computer books, ap computer science, medical, self improvement, management, culture, psychology, business, self help, coaching, organization, work, education, healthcare, engineering, guide, leadership, technology, school, medicine, career, legal, law, economics, security, computer, 21st century |
