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

Your search for Peter A. Lindsay

  1. Cover: FME 2002: Formal Methods - Getting IT Right - Springer
    Lars-Henrik Eriksson | Peter A. Lindsay
    FME 2002: Formal Methods - Getting IT Right
    International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings
    08/2003
    Springer
    9783540456148 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  2. Cover: Fme 2002 - Springer
    Lars-Henrik Eriksson | Peter A. Lindsay
    Fme 2002
    Formal Methods - Getting It Right: International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings
    09/2014
    Springer
    9783662182826 (ISBN)
    Book
    Paperback/Softback
    €22.99
    Not available
  3. Cover: FME 2002: Formal Methods - Getting IT Right - Springer
    Lars-Henrik Eriksson | Peter A. Lindsay
    FME 2002: Formal Methods - Getting IT Right
    International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings
    07/2002
    Springer
    9783540439288 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 10-15 days
  4. Cover: Proof in VDM: A Practitioner's Guide - Springer
    Juan C. Bicarregui | John Fitzgerald | Peter A. Lindsay
    Proof in VDM: A Practitioner's Guide
    12/1993
    Springer
    9783540198130 (ISBN)
    Book
    Paperback/Softback
    €53.49
    Shipment within 10-15 days
  5. This image is currently not available.
    Peter A. Lindsay
    Einführung in die Quantenmechanik für Elektroingenieure.
    1975
    Oldenbourg Wissenschaftsverlag
    9783486334111 (ISBN)
    Other
    Undefined
    Unfortunately, price unknown
    Article not available