Principles of Model Checking
Изчерпано количество
Продуктът не е наличен
Запиши се за известие при зареждане
A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises.
Информация за "Principles of Model Checking"
- SKU 9780262026499
- Weight 1.958000
- ISBN 9780262026499
- Вид корица Hardback
- Издателство MIT Press Ltd
- Брой страници 984
The information below is required for social login