Principles of model checking /

Bibliografische gegevens
Hoofdauteur: Baier, Christel
Andere auteurs: Katoen, Joost-Pieter
Formaat: Printed Book
Taal:English
Gepubliceerd in: Cambridge, Mass. : The MIT Press, [2012
Onderwerpen:
Computer systems > Verification.
Computer software > Verification.
Online toegang:http://www.loc.gov/catdir/toc/ecip0727/2007037603.html

Internet

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

DCS

Exemplaargegevens van DCS
Plaatsingsnummer: 51 BAI
Kopie Status is onbeschikbaar

Gelijkaardige items