Principles of model checking

Principles of model checking

Podrobná bibliografie
Hlavní autor: Baier, Christel
Další autoři: Katoen, Joost-Pieter
Médium: Kniha
Jazyk:English
Vydáno: Cambridge, Mass. MIT Press [2008?]
Témata:
Computer systems > Verification.
Computer software > Verification.
On-line přístup:Table of contents only