Formal Methods in Outer Space Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday

Gespeichert in:
Bibliographische Detailangaben
Weitere Verfasser: Havelund, Klaus (GefeierteR), Bartocci, Ezio (HerausgeberIn), Falcone, Yliès (HerausgeberIn), Leucker, Martin (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Cham Springer 2021
Schriftenreihe:Lecture notes in computer science 13065
Schlagworte:
Online Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:xii, 192 Seiten
Illustrationen, Diagramme
ISBN:9783030873479
978-3-030-87347-9