Principles of model checking /

Podrobná bibliografie
Hlavní autor: Baier, Christel
Další autoři: Katoen, Joost-Pieter
Médium: Printed Book
Jazyk:English
Vydáno: Cambridge, Mass. : The MIT Press, [2012
Témata:
Computer systems > Verification.
Computer software > Verification.
On-line přístup:http://www.loc.gov/catdir/toc/ecip0727/2007037603.html

Internet

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

DCS

Informace o exemplářích z: DCS
Signatura: 51 BAI
Jednotka Neznámá aktuální dostupnost

Podobné jednotky