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

Model Checking (книга)

Model Checking
Автор: Edmund M. Clarke
Orna Grumberg
Doron A. Peled
Оригинал издан: ????

«Model Checking»книга ???? года.

Содержание

Содержание

От издателя

«» Model Checking is bound to be the pre-eminent source for research, teaching, and industrial practice on this important subject. The authors include the foremost experts. This is the first truly comprehensive treatment of a line of research…»

Рецензии

См. также

Ссылки