Applicable formal methods for safe industrial products essays dedicated to Jan Peleska on the occasion of his 65th birthday
Gespeichert in:
| Weitere Verfasser: | , , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
[2023]
|
| Schriftenreihe: | Lecture notes in computer science Festschrift
14165 |
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Beschreibung: | xiv, 334 Seiten Illustrationen, Diagramme |
|---|---|
| ISBN: | 9783031401312 |