Model checking /

• Main Author: Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020 (συγγραφέας.)
• Other Authors: Grumberg, Orna (συγγραφέας.), Peled, Doron A., 1962- (συγγραφέας.)
• Format: Book
• Language: English
• Published: Cambridge, Mass. : MIT Press, c1999.
• Subjects: Υπολογιστικά συστήματα
• Physical Description: xiv, 314 σ. : εικ. ; 24 εκ.
• Bibliography: Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.
• ISBN: 0262032708