Principles of model checking

Principles of model checking

Библиографические подробности
Главный автор: Baier, Christel
Другие авторы: Katoen, Joost-Pieter
Формат: ‌
Язык:English
Опубликовано: Cambridge, Mass. MIT Press [2008?]
Предметы:
Computer systems > Verification.
Computer software > Verification.
Online-ссылка:Table of contents only