Principles of model checking /

Manylion Llyfryddiaeth
Prif Awdur: Baier, Christel
Awduron Eraill: Katoen, Joost-Pieter
Fformat: Printed Book
Iaith:English
Cyhoeddwyd: Cambridge, Mass. : The MIT Press, [2012
Pynciau:
Computer systems > Verification.
Computer software > Verification.
Mynediad Ar-lein:http://www.loc.gov/catdir/toc/ecip0727/2007037603.html

Rhyngrwyd

http://www.loc.gov/catdir/toc/ecip0727/2007037603.html

DCS

Manylion daliadau o DCS
Rhif Galw: 51 BAI
Copi Nid yw'r Statws Byw ar Gael

Eitemau Tebyg