Suchergebnisse - Beckert, Bernhard

  • Treffer 1 – 6 von 6
Treffer filtern
  1. 1
    Buchumschlag

    Konzeption und Implementierung von Gleichheit für einen tableau-basierten Theorem-Beweiser
    von Beckert, Bernhard

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    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 beteiligte Personen: “… Beckert, Bernhard …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 2020
    Weitere beteiligte Personen: “… Beckert, Bernhard …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  4. 4
    Buchumschlag

    Electronic voting: 5th international joint conference, E-Vote-ID 2020, Bregenz, Austria, October 6–9, 2020, proceedings

    Veröffentlicht 2020
    Weitere beteiligte Personen: “… Beckert, Bernhard …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  5. 5
    Buchumschlag

    Electronic voting: 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1–4, 2019 : proceedings

    Veröffentlicht 2019
    Weitere beteiligte Personen: “… Beckert, Bernhard …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  6. 6
    Buchumschlag

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

    Veröffentlicht 2020
    Weitere beteiligte Personen: “… Beckert, Bernhard …”
    Buch


    Gespeichert in:

Suchwerkzeuge: