Поиск
На сайте: 567998 статей, 285524 фото.

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»книга ???? года.

Содержание

Содержание

От издателя

«…»

Рецензии

См. также

Ссылки