Поиск
На сайте: 567989 статей, 285490 фото.

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…»

Рецензии

См. также

Ссылки