Understanding Formal Methods (книга)
| Understanding Formal Methods | |
| Автор: | J.F. Monin Michael G. Hinchey |
|---|---|
| Оригинал издан: | ???? |
«Understanding Formal Methods» — книга ???? года.
Содержание |
Содержание 
От издателя
«This volume provides a comprehensive introduction to the field of formal methods for students and practitioners. It strikes a careful balance between rigorous exposition of the underlying mathematics and concrete examples of implementations using…»
Рецензии
См. также
Ссылки
| Это незавершённая статья о литературе или литературном произведении. Вы можете помочь проекту, исправив и дополнив её. |
