Numerical software verification : 10th International Workshop, NSV 2017 : Heidelberg, Germany, July 22-23, 2017 : proceedings

Numerical software verification 10th International Workshop, NSV 2017 : Heidelberg, Germany, July 22-23, 2017 : proceedings

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: NSV (VerfasserIn)
Weitere Verfasser: Abate, Alessandro (HerausgeberIn), Boldo, Sylvie (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Cham Springer 2017
Schriftenreihe:Lecture notes in computer science 10381
Schlagworte:
Software engineering > Algorithms > Computer logic > Mathematical logic > Computer simulation > Computer Science > Konferenzschrift
Online Zugang:Inhaltsverzeichnis
Inhaltstext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:"NSV 2017 was co-located within CAV 2017, the 29th International Conference on Computer-Aided Verification" - Preface
Literaturangaben
Beschreibung:XVII, 113 Seiten
Diagramme
ISBN:9783319635002
978-3-319-63500-2