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

Your search for Advances in Formal Methods

  1. Cover: Computer-Aided Reasoning - Springer
    Matt Kaufmann | Panagiotis Manolios | J. Strother Moore
    Computer-Aided Reasoning
    ACL2 Case Studies
    04/2013
    Springer
    9781475731880 (ISBN)
    E-Book
    PDF
    Other editions
    €213.99
    Available for download
  2. Cover: Computer-Aided Reasoning - Springer
    Matt Kaufmann | Panagiotis Manolios | J. Strother Moore
    Computer-Aided Reasoning
    An Approach
    12/2012
    Springer
    9781461544494 (ISBN)
    E-Book
    PDF
    Other editions
    €259.00
    Available for download
  3. Cover: Software Engineering with OBJ - Springer
    Joseph A. Goguen | Grant Malcolm
    Software Engineering with OBJ
    Algebraic Specification in Action
    11/2013
    Springer
    9781475765410 (ISBN)
    E-Book
    PDF
    Other editions
    €213.99
    Available for download
  4. Cover: The Object-Z Specification Language - Springer
    Graeme Smith
    The Object-Z Specification Language
    12/2012
    Springer
    9781461552659 (ISBN)
    E-Book
    PDF
    Other editions
    €213.99
    Available for download
  5. Cover: The Object-Z Specification Language - Springer
    Graeme Smith
    The Object-Z Specification Language
    11/2012
    Springer
    9781461374015 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €213.99
    Shipment within 7-9 days
  6. Cover: Computer-Aided Reasoning - Springer
    Matt Kaufmann | Panagiotis Manolios | J. Strother Moore
    Computer-Aided Reasoning
    An Approach
    10/2012
    Springer
    9781461370031 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €266.43
    Exhausted; check different version
  7. Cover: Computer-Aided Reasoning - Springer
    Matt Kaufmann | Panagiotis Manolios | J. Strother Moore
    Computer-Aided Reasoning
    ACL2 Case Studies
    12/2010
    Springer
    9781441949813 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €213.99
    Shipment within 15-20 days
  8. Cover: Software Engineering with OBJ - Springer
    Joseph A. Goguen | Grant Malcolm
    Software Engineering with OBJ
    Algebraic Specification in Action
    12/2010
    Springer
    9781441949653 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €213.99
    Shipment within 15-20 days
  9. Cover: Computer-Aided Reasoning - Kluwer Academic Publishers
    Matt Kaufmann | Panagiotis Manolios | J. Strother Moore
    Computer-Aided Reasoning
    An Approach
    07/2000
    Kluwer Academic Publishers
    9780792377443 (ISBN)
    Book
    Hardback
    Other editions
    €266.43
    Exhausted; check different version
  10. Cover: The Object-Z Specification Language - Kluwer Academic Publishers
    Graeme Smith
    The Object-Z Specification Language
    12/1999
    Kluwer Academic Publishers
    9780792386841 (ISBN)
    Book
    Hardback
    Other editions
    €213.99
    Shipment within 15-20 days
  11. Cover: Software Engineering with OBJ - Kluwer Academic Publishers
    Joseph A. Goguen | Grant Malcolm
    Software Engineering with OBJ
    Algebraic Specification in Action
    04/2000
    Kluwer Academic Publishers
    9780792377573 (ISBN)
    Book
    Hardback
    Other editions
    €213.99
    Shipment within 15-20 days
  12. Cover: Computer-Aided Reasoning - Kluwer Academic Publishers
    Matt Kaufmann | Panagiotis Manolios | J. Strother Moore
    Computer-Aided Reasoning
    ACL2 Case Studies
    06/2000
    Kluwer Academic Publishers
    9780792378495 (ISBN)
    Book
    Hardback
    Other editions
    €213.99
    Shipment within 15-20 days
  13. This image is currently not available.
    Matt Kaufmann | Panagiotis Manolios | J. Strother Moore
    Computer-Aided Reasoning
    ACL2 Case Studies
    06/2000
    Kluwer Academic Publishers
    9780792378808 (ISBN)
    Book
    €317.50
    Exhausted, reprint undefined