Deductive software verification: future perspectives: reflections on the occasion of 20 years of KeY
Gespeichert in:
Bibliographische Detailangaben
Weitere Verfasser: Ahrendt, Wolfgang (HerausgeberIn), Beckert, Bernhard (HerausgeberIn)
Format: Buch
Sprache:English
Veröffentlicht: Cham Springer [2020]
Schriftenreihe:Lecture notes in computer science 12345
Schlagworte:
Beschreibung:xii, 339 Seiten Illustrationen, Diagramme
ISBN:9783030643539

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!