Integrated formal methods 16th international conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020 : proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	iFM (VerfasserIn)
Weitere Verfasser:	Dongol, Brijesh (HerausgeberIn), Troubitsyna, Elena (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham Springer 2020
Schriftenreihe:	Lecture notes in computer science 12546
Schlagworte:	Konferenzschrift > Maschinelles Lernen > Formale Methode > Programmverifikation > Statistische Analyse
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	Titelaufnahme entstanden auf Grundlage der Online-Ausgabe
Beschreibung:	xi, 459 Seiten Illustrationen, Diagramme
ISBN:	9783030634605 978-3-030-63460-5