Principles of model checking

Christel Baier, Joost-Pieter Katoen
Bok · Engelsk · 2008

Utgitt	Cambridge, Mass. : MIT Press , [2008]
Omfang	XVII, 975 s. : ill.
Emner	Computer software - Verification Computer systems - Verification Datamaskiner - Verifisering Programvare - Verifisering
ISBN	9780262026499