Leveraging applications of formal methods, verification and validation: 11th international symposium on leveraging applications of formal methods, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings Part 3 Adaptation and learning
Gespeichert in:
Bibliographische Detailangaben
Körperschaft: ISoLA Rhodos (VerfasserIn)
Weitere Verfasser: Margaria-Steffen, Tiziana 1964- (HerausgeberIn)
Format: Tagungsbericht Buch
Sprache:English
Veröffentlicht: Cham Springer [2022]
Schriftenreihe:Lecture notes in computer science 13703
Schlagworte:
Beschreibung:xiii, 474 Seiten Illustrationen, Diagramme
ISBN:9783031197581

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!