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

Your search for Doron A. Peled

  1. Cover: Software Reliability Methods - Springer
    Doron A. Peled
    Software Reliability Methods
    06/2013
    Springer
    9781475735406 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  2. Cover: Time for Verification - Springer
    Zohar Manna | Doron A. Peled
    Time for Verification
    Essays in Memory of Amir Pnueli
    06/2010
    Springer
    9783642137549 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  3. Cover: Computer Aided Verification - Springer
    Rajeev Alur | Doron A. Peled
    Computer Aided Verification
    16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings
    07/2004
    Springer
    9783540278139 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  4. Cover: Formal Techniques for Networked and Distributed Systems - FORTE 2002 - Springer
    Doron A. Peled | Moshe Y. Vardi
    Formal Techniques for Networked and Distributed Systems - FORTE 2002
    22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings
    06/2003
    Springer
    9783540361350 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  5. Cover: Model Checking and Artificial Intelligence - Springer
    Doron A. Peled | Michael Wooldridge
    Model Checking and Artificial Intelligence
    5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers
    02/2009
    Springer
    9783642004308 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 5-7 days
  6. Cover: Runtime Verification - Springer
    Saddek Bensalem | Doron A. Peled
    Runtime Verification
    9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers
    09/2009
    Springer
    9783642046933 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  7. Cover: Software Reliability Methods - Springer
    Doron A. Peled
    Software Reliability Methods
    Foreword by E.M. Clarke
    06/2001
    Springer
    9780387951065 (ISBN)
    Book
    Hardback
    Other editions
    €53.49
    Shipment within 5-7 days
  8. Cover: Software Reliability Methods - Springer
    Doron A. Peled
    Software Reliability Methods
    10/2011
    Springer
    9781441928764 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 15-20 days
  9. Cover: Time for Verification - Springer
    Zohar Manna | Doron A. Peled
    Time for Verification
    Essays in Memory of Amir Pnueli
    06/2010
    Springer
    9783642137532 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €96.29
    Exhausted; check different version
  10. Cover: Verification, Model Checking, and Abstract Interpretation - Springer
    Francesco Logozzo | Doron A. Peled | Leonore D. Zuck
    Verification, Model Checking, and Abstract Interpretation
    9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings
    02/2008
    Springer
    9783540781622 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  11. Cover: Automated Technology for Verification and Analysis - Springer
    Doron A. Peled | Yih-Kuen Tsay
    Automated Technology for Verification and Analysis
    Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
    09/2005
    Springer
    9783540292098 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  12. Cover: Computer Aided Verification - Springer
    Rajeev Alur | Doron A. Peled
    Computer Aided Verification
    16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings
    06/2004
    Springer
    9783540223429 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 10-15 days
  13. Cover: Formal Techniques for Networked and Distributed Systems - FORTE 2002 - Springer
    Doron A. Peled | Moshe Y. Vardi
    Formal Techniques for Networked and Distributed Systems - FORTE 2002
    22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings
    10/2002
    Springer
    9783540001416 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  14. Cover: Formal Techniques for Networked and Distributed Systems - Forte 2002 - Springer
    Doron A. Peled | Moshe Y. Vardi
    Formal Techniques for Networked and Distributed Systems - Forte 2002
    01/2014
    Springer
    9783662201381 (ISBN)
    Book
    Paperback/Softback
    €22.99
    Not available
  15. This image is currently not available.
    Zohar Manna | Doron A. Peled
    Time for Verification
    03/2011
    Springer
    9783642137556 (ISBN)
    Book
    Paperback/Softback
    €22.99
    Not available
  16. This image is currently not available.
    Doron A. Peled | Yih-Kuen Tsay
    Automated Technology for Verification and Analysis
    09/2008
    Springer
    9783540816461 (ISBN)
    Book
    Paperback/Softback
    €22.99
    Not available