Von dem Buch Numerical Software Verification haben wir 2 gleiche oder sehr ähnliche Ausgaben identifiziert!

Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:

Numerical Software Verification100%: Alessandro Abate, Sylvie Boldo: Numerical Software Verification (ISBN: 9783319635019) 2017, in Deutsch, Taschenbuch.
Nur diese Ausgabe anzeigen…
Numerical Software Verification: 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings Editor66%: Herausgegeben von Abate, Alessandro; Boldo, Sylvie: Numerical Software Verification: 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings Editor (ISBN: 9783319635002) 2017, in Englisch, auch als Hörbuch.
Nur diese Ausgabe anzeigen…

Numerical Software Verification - 12 Angebote vergleichen

Bester Preis: Fr. 2.06 ( 2.10)¹ (vom 25.03.2019)
1
9783319635002 - Alessandro Abate; Sylvie Boldo: Numerical Software Verification
Alessandro Abate; Sylvie Boldo

Numerical Software Verification (2017)

Lieferung erfolgt aus/von: Italien ~EN PB NW

ISBN: 9783319635002 bzw. 331963500X, vermutlich in Englisch, Springer Shop, Taschenbuch, neu.

Fr. 52.47 ( 53.49)¹
unverbindlich
Lieferung aus: Italien, Lagernd, zzgl. Versandkosten.
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. Soft cover.
2
9783319635002 - Herausgegeben von Abate, Alessandro; Boldo, Sylvie: Numerical Software Verification
Herausgegeben von Abate, Alessandro; Boldo, Sylvie

Numerical Software Verification

Lieferung erfolgt aus/von: Deutschland DE HC NW

ISBN: 9783319635002 bzw. 331963500X, in Deutsch, Springer, Berlin; Springer International Publishing, gebundenes Buch, neu.

Fr. 44.09 ( 44.94)¹
versandkostenfrei, unverbindlich
Lieferung aus: Deutschland, Versandkostenfrei innerhalb von Deutschland.
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 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. Lieferzeit 1-2 Werktage.
3
9783319635002 - Alessandro Abate: Numerical Software Verification - 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
Alessandro Abate

Numerical Software Verification - 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Lieferung erfolgt aus/von: Deutschland DE PB NW

ISBN: 9783319635002 bzw. 331963500X, in Deutsch, Springer-Verlag Gmbh, Taschenbuch, neu.

Fr. 44.09 ( 44.94)¹
versandkostenfrei, unverbindlich
Lieferung aus: Deutschland, Versandkostenfrei.
Numerical Software Verification: 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. Englisch, Taschenbuch.
4
9783319635019 - Numerical Software Verification

Numerical Software Verification (2017)

Lieferung erfolgt aus/von: Deutschland DE PB NW

ISBN: 9783319635019 bzw. 3319635018, in Deutsch, Springer International Publishing, Taschenbuch, neu.

Fr. 50.02 ( 50.99)¹ + Versand: Fr. 7.36 ( 7.50)¹ = Fr. 57.38 ( 58.49)¹
unverbindlich
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
5
9783319635002 - Numerical Software Verification: 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings Alessandro Abate Editor

Numerical Software Verification: 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings Alessandro Abate Editor (2017)

Lieferung erfolgt aus/von: Vereinigte Staaten von Amerika ~EN PB NW

ISBN: 9783319635002 bzw. 331963500X, vermutlich in Englisch, Springer International Publishing, Taschenbuch, neu.

Fr. 35.80 ($ 40.43)¹
unverbindlich
Lieferung aus: Vereinigte Staaten von Amerika, Lagernd, zzgl. Versandkosten.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
6
9783319635002 - Numerical Software Verification: 10th International Workshop, Nsv 2017, Heidelberg, Germany, July 22-23, 2017, Proceedin: 10th Int

Numerical Software Verification: 10th International Workshop, Nsv 2017, Heidelberg, Germany, July 22-23, 2017, Proceedin: 10th Int (2017)

Lieferung erfolgt aus/von: Kanada ~EN NW

ISBN: 9783319635002 bzw. 331963500X, vermutlich in Englisch, neu.

Fr. 42.60 (C$ 63.86)¹
unverbindlich
Lieferung aus: Kanada, Lagernd, zzgl. Versandkosten.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
7
9783319635002 - Numerical Software Verification

Numerical Software Verification (2017)

Lieferung erfolgt aus/von: Österreich ~EN NW AB

ISBN: 9783319635002 bzw. 331963500X, vermutlich in Englisch, neu, Hörbuch.

Fr. 51.92 ( 52.93)¹
unverbindlich
Lieferung aus: Österreich, Lieferzeit: 5 Tage, zzgl. Versandkosten.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
8
9783319635019 - Alessandro Abate: Numerical Software Verification - 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
Alessandro Abate

Numerical Software Verification - 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings (2017)

Lieferung erfolgt aus/von: Deutschland DE NW EB DL

ISBN: 9783319635019 bzw. 3319635018, in Deutsch, Springer International Publishing, neu, E-Book, elektronischer Download.

Fr. 49.94 ( 50.91)¹
versandkostenfrei, unverbindlich
Lieferung aus: Deutschland, Versandkostenfrei.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
9
9783319635019 - Alessandro Abate; Sylvie Boldo: Numerical Software Verification
Alessandro Abate; Sylvie Boldo

Numerical Software Verification (2017)

Lieferung erfolgt aus/von: Mexiko DE NW EB DL

ISBN: 9783319635019 bzw. 3319635018, in Deutsch, Springer Shop, neu, E-Book, elektronischer Download.

Fr. 2.06 ($ 45)¹
unverbindlich
Lieferung aus: Mexiko, Lagernd, zzgl. Versandkosten.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
10
9783319635019 - Alessandro Abate, Sylvie Boldo: Numerical Software Verification
Alessandro Abate, Sylvie Boldo

Numerical Software Verification (2017)

Lieferung erfolgt aus/von: Deutschland DE NW EB DL

ISBN: 9783319635019 bzw. 3319635018, in Deutsch, Springer, Springer, Springer, neu, E-Book, elektronischer Download.

Fr. 43.18 ( 44.02)¹
versandkostenfrei, unverbindlich
Lieferung aus: Deutschland, in-stock.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Lade…