Model checking /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020 (συγγραφέας.)
Άλλοι συγγραφείς: Grumberg, Orna (συγγραφέας.), Peled, Doron A., 1962- (συγγραφέας.)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Cambridge, Mass. : MIT Press, c1999.
Θέματα:
Περιγραφή
Φυσική περιγραφή:xiv, 314 σ. : εικ. ; 24 εκ.
Βιβλιογραφία:Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.
ISBN:0262032708