Model Checking (книга)
| Model Checking | |
| Автор: | Edmund M. Clarke Orna Grumberg Doron A. Peled |
|---|---|
| Оригинал издан: | ???? |
«Model Checking» — книга ???? года.
Содержание |
Содержание 
От издателя
«» Model Checking is bound to be the pre-eminent source for research, teaching, and industrial practice on this important subject. The authors include the foremost experts. This is the first truly comprehensive treatment of a line of research…»
Рецензии
См. также
Ссылки
| Это незавершённая статья о литературе или литературном произведении. Вы можете помочь проекту, исправив и дополнив её. |
