10 results
Type of media (2)
Availability (2)
Classification (4)
Year
Persons
Publishers
Sort by
Results per page
Filter
10 results

Your search for Fabio Somenzi

  1. Cover: Computer Aided Verification - Springer
    Jr. Hunt | Fabio Somenzi
    Computer Aided Verification
    15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings
    05/2011
    Springer
    9783540450696 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  2. Cover: Abstraction Refinement for Large Scale Model Checking - Springer
    Chao Wang | Gary D. Hachtel | Fabio Somenzi
    Abstraction Refinement for Large Scale Model Checking
    09/2006
    1st EDN1st Edition
    Springer
    9780387346007 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  3. Cover: Logic Synthesis and Verification Algorithms - Kluwer Academic Publishers
    Gary D. Hachtel | Fabio Somenzi
    Logic Synthesis and Verification Algorithms
    12/2005
    Kluwer Academic Publishers
    9780306475924 (ISBN)
    E-Book
    PDF
    Other editions
    €90.94
    Available for download
  4. Cover: Abstraction Refinement for Large Scale Model Checking - Springer
    Chao Wang | Gary D. Hachtel | Fabio Somenzi
    Abstraction Refinement for Large Scale Model Checking
    07/2006
    Springer
    9780387341552 (ISBN)
    Book
    Hardback
    Other editions
    €106.99
    Shipment within 5-7 days
  5. Cover: Abstraction Refinement for Large Scale Model Checking - Springer
    Chao Wang | Gary D. Hachtel | Fabio Somenzi
    Abstraction Refinement for Large Scale Model Checking
    12/2014
    Springer
    9781489993953 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €119.99
    Shipment within 15-20 days
  6. Cover: Logic Synthesis and Verification Algorithms - Springer
    Gary D. Hachtel | Fabio Somenzi
    Logic Synthesis and Verification Algorithms
    03/2013
    Springer
    9781475770360 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €90.94
    Shipment within 15-20 days
  7. Cover: Computer Aided Verification - Springer
    Jr. Hunt | Fabio Somenzi
    Computer Aided Verification
    15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings
    06/2003
    Springer
    9783540405245 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  8. Cover: Logic Synthesis and Verification Algorithms - Springer
    Gary D. Hachtel | Fabio Somenzi
    Logic Synthesis and Verification Algorithms
    02/2006
    Springer
    9780387310046 (ISBN)
    Book
    Paperback/Softback
    €80.24
    Exhausted, reprint undefined
  9. Cover: Logic Synthesis and Verification Algorithms - Kluwer Academic Publishers
    Gary D. Hachtel | Fabio Somenzi
    Logic Synthesis and Verification Algorithms
    06/1996
    Kluwer Academic Publishers
    9780792397465 (ISBN)
    Book
    Hardback
    Other editions
    €96.29
    Shipment within 15-20 days
  10. This image is currently not available.
    Chao Wang | Gary D. Hachtel | Fabio Somenzi
    Abstraction Refinement for Large Scale Model Checking
    08/2008
    Springer
    9780387513904 (ISBN)
    Book
    Hardback
    €22.99
    Not available