Principles of model checking /

Bibliografiset tiedot
Päätekijä: Baier, Christel
Muut tekijät: Katoen, Joost-Pieter
Aineistotyyppi: Printed Book
Kieli:English
Julkaistu: Cambridge, Mass. : The MIT Press, [2012
Aiheet:
Computer systems > Verification.
Computer software > Verification.
Linkit:http://www.loc.gov/catdir/toc/ecip0727/2007037603.html

Internet

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

DCS

Saatavuus: DCS
Hyllypaikka: 51 BAI
Nide Reaaliaikaista tietoa ei saatavissa

Samankaltaisia teoksia