Principles of model checking

Bibliografski detalji
Glavni autor:	Baier, Christel
Daljnji autori:	Katoen, Joost-Pieter
Format:	Knjiga
Jezik:	English
Izdano:	Cambridge, Mass. MIT Press [2008?]
Teme:	Computer systems > Verification. Computer software > Verification.
Online pristup:	Table of contents only