Numerical Software Verification: 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings (Theoretical Computer Science and General Issues)

★★★★★ 4.4 51 Bewertungen

€18.96
Preis bei Onlinekauf
Kostenloser Versand 30 Tage kostenlose Rückgabe

Verkauft und versendet von www.castellidiario.com.ar
Wir bemühen uns, Ihnen genaue Produktinformationen anzuzeigen. Hersteller, Lieferanten und andere stellen die hier gezeigten Angaben bereit.
€18.96
Preis bei Onlinekauf
Kostenloser Versand 30 Tage kostenlose Rückgabe

Wie möchten Sie Ihren Artikel erhalten?
Die ersten 30 Tage sind kostenlos! Wählen Sie den Tarif an der Kasse.
Versand
Ankunft 10.10.
Kostenlos
Abholung
In der Nähe prüfen
Lieferung
Nicht verfügbar

Verkauft und versendet von www.castellidiario.com.ar
30 Tage kostenlose Rückgabe Details

Produktdetails

Artikelnummer 231995371 Erscheinungsdatum 2026/06/18 Listenpreis €18.96 Modellnummer 231995371
Kategorie

This book constitutes the proceedings of the 12th International Workshop on Numerical Software Verification, NSV 2019, held in New York City, NY, USA, in July 2019 - colocated with the International Conference on Computer Aided Verification, CAV 2019.The 5 full papers presented together with 2 short papers, 3 abstracts of invited talks, and 2 tutorial papers 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. Read more

ISBN10 3030284220
ISBN13 978-3030284220
Edition 1st ed. 2019
Language English
Publisher Springer
Dimensions 6.1 x 0.37 x 9.25 inches
Item Weight 8.5 ounces
Print length 164 pages
Publication date August 3, 2019

Korrektur der Produktinformationen

Wenn Sie Unvollständigkeiten oder Fehler in den Produktinformationen auf dieser Seite bemerken, nutzen Sie bitte das Korrekturformular unten.

Korrekturanfrage

Kundenbewertungen

4.4 von 5
★★★★★
51 Bewertungen | 21 Rezensionen
So wird die Artikelbewertung berechnet
Alle Bewertungen anzeigen
5 Sterne
81% (41)
4 Sterne
5% (3)
3 Sterne
2% (1)
2 Sterne
1% (1)
1 Stern
11% (6)
Sortieren nach

Für dieses Produkt liegen derzeit keine schriftlichen Bewertungen vor.