Industrial-Strength Formal Methods in Practice (книга)
| Industrial-Strength Formal Methods in Practice | |
| Автор: | Michael G. Hinchey Jonathan P. Bowen |
|---|---|
| Оригинал издан: | ???? |
«Industrial-Strength Formal Methods in Practice» — книга ???? года.
Содержание |
Содержание 
От издателя
«Industrial Strength Formal Methods in Practice provides hands-on experience and guidance for anyone who needs to apply formal methods successfully in an industrial context. Each chapter is written by an expert in software engineering or formal…»
Рецензии
См. также
Ссылки
| Это незавершённая статья о литературе или литературном произведении. Вы можете помочь проекту, исправив и дополнив её. |
