Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
Nur diese Ausgabe anzeigen…
Nur diese Ausgabe anzeigen…
Numerical Software Verification - 12 Angebote vergleichen
Bester Preis: Fr. 2.06 (€ 2.10)¹ (vom 25.03.2019)Numerical Software Verification (2017)
ISBN: 9783319635002 bzw. 331963500X, vermutlich in Englisch, Springer Shop, Taschenbuch, neu.
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.
Numerical Software Verification
ISBN: 9783319635002 bzw. 331963500X, in Deutsch, Springer, Berlin; Springer International Publishing, gebundenes Buch, neu.
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.
Numerical Software Verification - 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
ISBN: 9783319635002 bzw. 331963500X, in Deutsch, Springer-Verlag Gmbh, Taschenbuch, neu.
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.
Numerical Software Verification (2017)
ISBN: 9783319635019 bzw. 3319635018, in Deutsch, Springer International Publishing, Taschenbuch, neu.
Numerical Software Verification: 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings Alessandro Abate Editor (2017)
ISBN: 9783319635002 bzw. 331963500X, vermutlich in Englisch, Springer International Publishing, Taschenbuch, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Numerical Software Verification: 10th International Workshop, Nsv 2017, Heidelberg, Germany, July 22-23, 2017, Proceedin: 10th Int (2017)
ISBN: 9783319635002 bzw. 331963500X, vermutlich in Englisch, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Numerical Software Verification (2017)
ISBN: 9783319635002 bzw. 331963500X, vermutlich in Englisch, neu, Hörbuch.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Numerical Software Verification - 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings (2017)
ISBN: 9783319635019 bzw. 3319635018, in Deutsch, Springer International Publishing, neu, E-Book, elektronischer Download.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Numerical Software Verification (2017)
ISBN: 9783319635019 bzw. 3319635018, in Deutsch, Springer Shop, neu, E-Book, elektronischer Download.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Numerical Software Verification (2017)
ISBN: 9783319635019 bzw. 3319635018, in Deutsch, Springer, Springer, Springer, neu, E-Book, elektronischer Download.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen