Principles of model checking

Principles of model checking

Manylion Llyfryddiaeth
Prif Awdur: Baier, Christel
Awduron Eraill: Katoen, Joost-Pieter
Fformat: Llyfr
Iaith:English
Cyhoeddwyd: Cambridge, Mass. MIT Press [2008?]
Pynciau:
Computer systems > Verification.
Computer software > Verification.
Mynediad Ar-lein:Table of contents only