Treffer 1 – 13 von 13 für Suche 'Ahrendt, Wolfgang', Suchdauer: 0,09s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Verification of a Prolog compiler, first steps with KIV

    Verification of a Prolog compiler, first steps with KIV von Schellhorn, Gerhard ca. 20./21. Jh, Ahrendt, Wolfgang

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Verification of a prolog compiler first steps with KIV

    Verification of a prolog compiler first steps with KIV von Schellhorn, Gerhard ca. 20./21. Jh, Ahrendt, Wolfgang

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution

    Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution von Ahrendt, Wolfgang

    Veröffentlicht 2021
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Tests and proofs 14th international conference, TAP 2020, held as part of STAF 2020, Bergen, Norway, June 22–23, 2020, proceedings

    Tests and proofs 14th international conference, TAP 2020, held as part of STAF 2020, Bergen, Norway, June 22–23, 2020, proceedings

    Veröffentlicht 2020
    Weitere Verfasser: “… Ahrendt, Wolfgang …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  5. 5
    Integrated formal methods 15th international conference, IFM 2019, Bergen, Norway, December 2–6, 2019, proceedings

    Integrated formal methods 15th international conference, IFM 2019, Bergen, Norway, December 2–6, 2019, proceedings

    Veröffentlicht 2019
    Weitere Verfasser: “… Ahrendt, Wolfgang …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  6. 6
    The logic of software a tasting menu of formal methods : essays dedicated to Reiner Hähnle on the occasion of his 60th birthday

    The logic of software a tasting menu of formal methods : essays dedicated to Reiner Hähnle on the occasion of his 60th birthday

    Veröffentlicht 2022
    Weitere Verfasser: “… Ahrendt, Wolfgang …”
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  7. 7
    Deductive software verification: future perspectives reflections on the occasion of 20 years of KeY

    Deductive software verification: future perspectives reflections on the occasion of 20 years of KeY

    Veröffentlicht 2020
    Weitere Verfasser: “… Ahrendt, Wolfgang …”
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  8. 8
    Integrated formal methods 15th international conference, IFM 2019, Bergen, Norway, December 2-6, 2019 : proceedings

    Integrated formal methods 15th international conference, IFM 2019, Bergen, Norway, December 2-6, 2019 : proceedings

    Veröffentlicht 2019
    Weitere Verfasser: “… Ahrendt, Wolfgang …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Deductive software verification – the keY book from theory to practice

    Deductive software verification – the keY book from theory to practice

    Veröffentlicht 2016
    Weitere Verfasser: “… Ahrendt, Wolfgang …”

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  10. 10
    The logic of software a tasting menu of formal methods : essays dedicated to Reiner Hähnle on the occasion of his 60th birthday

    The logic of software a tasting menu of formal methods : essays dedicated to Reiner Hähnle on the occasion of his 60th birthday

    Veröffentlicht 2022
    Weitere Verfasser: “… Ahrendt, Wolfgang …”
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Tests and proofs 14th international conference, TAP 2020, held as part of STAF 2020, Bergen, Norway, June 22-23, 2020 : proceedings

    Tests and proofs 14th international conference, TAP 2020, held as part of STAF 2020, Bergen, Norway, June 22-23, 2020 : proceedings

    Veröffentlicht 2020
    Weitere Verfasser: “… Ahrendt, Wolfgang …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Deductive software verification – the keY book from theory to practice

    Deductive software verification – the keY book from theory to practice

    Veröffentlicht 2016
    Weitere Verfasser: “… Ahrendt, Wolfgang …”
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Deductive software verification: future perspectives reflections on the occasion of 20 years of KeY

    Deductive software verification: future perspectives reflections on the occasion of 20 years of KeY

    Veröffentlicht 2020
    Weitere Verfasser: “… Ahrendt, Wolfgang …”
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: