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!

Keine Ergebnisse!