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

Weitere Versionen anzeigen (1)
Gespeichert in:
Bibliographische Detailangaben
Weitere Verfasser: Ahrendt, Wolfgang (HerausgeberIn), Beckert, Bernhard (HerausgeberIn), Bubel, Richard (HerausgeberIn), Hähnle, Reiner (HerausgeberIn), Ulbrich, Mattias (HerausgeberIn)
Format: Elektronisch E-Book
Sprache:English
Veröffentlicht: Cham, Switzerland Springer [2020]
Schriftenreihe:Programming and software engineering 12345
Schlagworte:
Software Engineering/Programming and Operating Systems
Logics and Meanings of Programs
Artificial Intelligence
Information Systems Applications (incl. Internet)
Software engineering
Computer logic
Artificial intelligence
Application software
Künstliche Intelligenz
Software Engineering
Online-Zugang:DE-634
DE-Aug4
DE-573
DE-M347
DE-92
DE-898
DE-859
DE-860
DE-861
DE-863
DE-862
DE-523
DE-91
DE-384
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-29
DE-739
URL des Erstveröffentlichers
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:1 Online-Ressource Illustrationen, Diagramme
ISBN:9783030643546
DOI:10.1007/978-3-030-64354-6

Ähnliche Einträge