Principles of model checking

Principles of model checking

Bibliografske podrobnosti
Glavni avtor: Baier, Christel
Drugi avtorji: Katoen, Joost-Pieter
Format: Knjiga
Jezik:English
Izdano: Cambridge, Mass. MIT Press [2008?]
Teme:
Computer systems > Verification.
Computer software > Verification.
Online dostop:Table of contents only