Principles of model checking

Principles of model checking

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Baier, Christel
Άλλοι συγγραφείς: Katoen, Joost-Pieter
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Cambridge, Mass. MIT Press [2008?]
Θέματα:
Computer systems > Verification.
Computer software > Verification.
Διαθέσιμο Online:Table of contents only