Leveraging applications of formal methods, verification and validation 8th international symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings Part 2
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
[2018]
|
| Schriftenreihe: | Lecture notes in computer science
11245 |
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Beschreibung: | XIII, 496 Seiten Illustrationen, Diagramme |
|---|---|
| ISBN: | 9783030034207 |