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

Your search for Wolfgang Ahrendt

  1. Cover: Deductive Software Verification: Future Perspectives - Springer
    Wolfgang Ahrendt | Bernhard Beckert | Richard Bubel
    Deductive Software Verification: Future Perspectives
    Reflections on the Occasion of 20 Years of KeY
    12/2020
    Springer
    9783030643546 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  2. Cover: Deductive Software Verification - The KeY Book - Springer
    Wolfgang Ahrendt | Bernhard Beckert | Richard Bubel
    Deductive Software Verification - The KeY Book
    From Theory to Practice
    12/2016
    Springer
    9783319498126 (ISBN)
    E-Book
    PDF
    Other editions
    €117.69
    Available for download
  3. Cover: Integrated Formal Methods - Springer
    Wolfgang Ahrendt | Silvia Lizeth Tapia Tarifa
    Integrated Formal Methods
    15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings
    11/2019
    Springer
    9783030349684 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  4. Cover: Tests and Proofs - Springer
    Wolfgang Ahrendt | Heike Wehrheim
    Tests and Proofs
    14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings
    06/2020
    Springer
    9783030509958 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  5. Cover: The Logic of Software. A Tasting Menu of Formal Methods - Springer
    Wolfgang Ahrendt | Bernhard Beckert | Richard Bubel
    The Logic of Software. A Tasting Menu of Formal Methods
    Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
    07/2022
    Springer
    9783031081668 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  6. Cover: Deductive Software Verification: Future Perspectives - Springer
    Wolfgang Ahrendt | Bernhard Beckert | Richard Bubel
    Deductive Software Verification: Future Perspectives
    Reflections on the Occasion of 20 Years of KeY
    12/2020
    Springer
    9783030643539 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  7. Cover: Integrated Formal Methods - Springer
    Wolfgang Ahrendt | Silvia Lizeth Tapia Tarifa
    Integrated Formal Methods
    15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings
    11/2019
    Springer
    9783030349677 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  8. Cover: Tests and Proofs - Springer
    Wolfgang Ahrendt | Heike Wehrheim
    Tests and Proofs
    14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings
    06/2020
    Springer
    9783030509941 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  9. Cover: Deductive Software Verification - The KeY Book - Springer
    Wolfgang Ahrendt | Bernhard Beckert | Richard Bubel
    Deductive Software Verification - The KeY Book
    From Theory to Practice
    12/2016
    Springer
    9783319498119 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €128.39
    Shipment within 10-15 days
  10. Cover: The Logic of Software. A Tasting Menu of Formal Methods - Springer
    Wolfgang Ahrendt | Bernhard Beckert | Richard Bubel
    The Logic of Software. A Tasting Menu of Formal Methods
    Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
    06/2022
    Springer
    9783031081651 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 15-20 days
  11. This image is currently not available.
    Beat Honegger | Wolfgang Ahrendt
    Visionen für Fusionen 1 + 1 =?
    Ein Prozessbegleiter
    1999
    1st EDN1st Edition
    A & O d. Wissens
    9783905327120 (ISBN)
    Other
    Undefined
    €13.00
    Article not available