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

Your search for Doron Peled

  1. Cover: Automated Technology for Verification and Analysis - Springer
    Cyrille Artho | Axel Legay | Doron Peled
    Automated Technology for Verification and Analysis
    14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings
    10/2016
    Springer
    9783319465203 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  2. Cover: Model Checking, second edition - MIT Press
    Edmund M. Clarke | Orna Grumberg | Daniel Kroening
    Model Checking, second edition
    12/2018
    MIT Press
    9780262349451 (ISBN)
    E-Book
    ePUB
    Other editions
    €78.49
    Available for download
  3. Cover: Computer Aided Verification - Springer
    Nicolas Halbwachs | Doron Peled
    Computer Aided Verification
    11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings
    07/2003
    Springer
    9783540486831 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  4. 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
  5. Cover: Automated Technology for Verification and Analysis - Springer
    Cyrille Artho | Axel Legay | Doron Peled
    Automated Technology for Verification and Analysis
    14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings
    09/2016
    Springer
    9783319465197 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  6. Cover: Dependable Software Systems Engineering - IOS Press,US
    Alexander Pretschner | Doron Peled
    Dependable Software Systems Engineering
    10/2017
    1st EDN1st Edition
    IOS Press,US
    9781614998099 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €133.70
    Exhausted; check different version
  7. Cover: Engineering Dependable Software Systems - IOS Press,US
    Manfred Broy | Doron Peled
    Engineering Dependable Software Systems
    06/2013
    1st EDN1st Edition
    IOS Press,US
    9781614992066 (ISBN)
    Book
    Hardback
    Other editions
    €170.84
    Exhausted; check different version
  8. Cover: Dependable Software Systems Engineering - IOS Press,US
    Maximilian Irlbeck | Doron Peled | Alexander Pretschner
    Dependable Software Systems Engineering
    05/2015
    1st EDN1st Edition
    IOS Press,US
    9781614994947 (ISBN)
    Book
    Hardback
    Other editions
    €170.84
    Exhausted; check different version
  9. Cover: Computer Aided Verification - Springer
    Nicolas Halbwachs | Doron Peled
    Computer Aided Verification
    01/2014
    Springer
    9783662192832 (ISBN)
    Book
    Paperback/Softback
    €22.99
    Not available
  10. Cover: Computer Aided Verification - Springer
    Nicolas Halbwachs | Doron Peled
    Computer Aided Verification
    11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings
    06/1999
    Springer
    9783540662020 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  11. Cover: Partial Order Methods in Verification - American Mathematical Society
    Doron Peled | Vaughan R. Pratt | Gerard J. Holzmann
    Partial Order Methods in Verification
    04/1997
    American Mathematical Society
    9780821805794 (ISBN)
    Book
    Hardback
    Other editions
    €154.50
    Shipment within 10-20 days