Principles of model checking

Principles of model checking

Xehetasun bibliografikoak
Egile nagusia: Baier, Christel
Beste egile batzuk: Katoen, Joost-Pieter
Formatua: Liburua
Hizkuntza:English
Argitaratua: Cambridge, Mass. MIT Press [2008?]
Gaiak:
Computer systems > Verification.
Computer software > Verification.
Sarrera elektronikoa:Table of contents only