Numerical Software Verification / Lecture Notes in Computer Science Bd.10381 (PDF)
10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
(Sprache: Englisch)
This book constitutes the proceedings of the 10th International Workshop on Numerical Software Verification, NSV 2017, held in Heidelberg, Germany, in July 2017 - colocated with the International Workshop on Formal Methods for Rigorous Systems Engineering...
sofort als Download lieferbar
Printausgabe Fr. 59.90
eBook (pdf)
Fr. 59.00
inkl. MwSt.
- Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Numerical Software Verification / Lecture Notes in Computer Science Bd.10381 (PDF)“
This book constitutes the proceedings of the 10th International Workshop on Numerical Software Verification, NSV 2017, held in Heidelberg, Germany, in July 2017 - colocated with the International Workshop on Formal Methods for Rigorous Systems Engineering of Cyber-Physical Systems, RISE4CPS 2017, a one-time, invited-only event.
The 3 full papers presented together with 3 short papers, 2 keynote abstracts and 4 invited abstracts were carefully reviewed and selected from numerous submissions.
The NSV 2017 workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.
Bibliographische Angaben
- 2017, 1st ed. 2017, 115 Seiten, Englisch
- Herausgegeben: Alessandro Abate, Sylvie Boldo
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3319635018
- ISBN-13: 9783319635019
- Erscheinungsdatum: 11.07.2017
Abhängig von Bildschirmgrösse und eingestellter Schriftgrösse kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Grösse: 4.73 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Numerical Software Verification / Lecture Notes in Computer Science Bd.10381"
0 Gebrauchte Artikel zu „Numerical Software Verification / Lecture Notes in Computer Science Bd.10381“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Numerical Software Verification / Lecture Notes in Computer Science Bd.10381".
Kommentar verfassen