Formal Methods in Outer Space Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
Gespeichert in:
Weitere Verfasser: | , , , |
---|---|
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: | xii, 192 Seiten Illustrationen, Diagramme |
---|---|
ISBN: | 9783030873479 978-3-030-87347-9 |