Cover Image

Model checking /

Show other versions (1)
Bibliographic Details
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, [1999]
Subjects:
Computer systems > Verification.

Evans: Library Stacks

Holdings details from Evans: Library Stacks
Call Number: QA76.76.V47 C553 1999
 
Call Number Status Get It
QA76.76.V47 C553 1999 Available