Systems and Software Verification: Model-Checking Techniques and Tools (книга)
| Systems and Software Verification: Model-Checking Techniques and Tools | |
| Автор: | Beatrice Berard Michel Bidoit Alain Finkel Francois Laroussinie Antoine Petit Laure Petrucci Philippe Schnoebelen Pierre McKenzie |
|---|---|
| Оригинал издан: | ???? |
«Systems and Software Verification: Model-Checking Techniques and Tools» — книга ???? года.
Содержание |
Содержание 
От издателя
«…»
Рецензии
См. также
Ссылки
| Это незавершённая статья о литературе или литературном произведении. Вы можете помочь проекту, исправив и дополнив её. |
