Leveraging applications of formal methods, verification and validation: 8th international symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings Part 2
Gespeichert in:
Bibliographische Detailangaben
Körperschaft: ISoLA Limassol (VerfasserIn)
Weitere Verfasser: Margaria-Steffen, Tiziana 1964- (HerausgeberIn)
Format: Tagungsbericht Buch
Sprache:English
Veröffentlicht: Cham Springer [2018]
Schriftenreihe:Lecture notes in computer science 11245
Schlagworte:
Beschreibung:XIII, 496 Seiten Illustrationen, Diagramme
ISBN:9783030034207

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!