2 results
Availability (2)
Classification (2)
Year
Persons
Publishers
Sort by
Results per page
Filter
2 results

Your search for Edmund M. Clarke Jr.

  1. Cover: Model Checking - MIT Press
    Edmund M. Clarke Jr. | Orna Grumberg | Daniel Kroening
    Model Checking
    12/2018
    2nd EDN2nd Edition
    MIT Press
    9780262038836 (ISBN)
    Book
    Hardback
    Other editions
    €89.13
    Shipment within 10-20 days
  2. Cover: Model Checking - MIT Press
    Edmund M. Clarke Jr. | Orna Grumberg | Doron Peleg
    Model Checking
    12/1999
    MIT Press
    9780262032704 (ISBN)
    Book
    Hardback
    €76.75
    No shipping information available