online einkaufen - Shopping Schweiz
Zur Einkaufsliste hinzufügen

eUniverse - Numerical Software Verification: 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22 online verfügbar und bestellen

Berichten Sie über das Produkt

Image of Numerical Software Verification: 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22

eCommerce Plattform Teleshopping ob bereits beim Absenden des Warenkorbs

Verwirrt? Link zum original Text


EAN: 9783319635002
Marke: Springer Berlin,Springer International Publishing,Springer
weitere Infos: MPN: 64857466
  im Moment nicht an Lager
Online Shop: eUniverse

CHF 54.90 bei eUniverse

Kostenloser Versand

Verfügbarkeit: 7-14 Werktage Tage

Shop besuchen
Shop Artikelname Preis  
Numerical Software Verification: 10th International Workshop, NSV 2017, Heidelberg,... CHF 54.90 Shop besuchen
Verwandte Produkte
Image of Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-2
Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-2
 CHF 101.00

mehr Informationen

Berichten Sie über das Produkt

Data Driven Techniques.- Runtime Verication.- Cyber-Physical Systems.- Concurrency.- Analysis of Software and Hardware.- Foundations...

Image of Numerical Software Verification: 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-
Numerical Software Verification: 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-
 CHF 54.90

mehr Informationen

Berichten Sie über das Produkt

Verification and validation of global properties,.- Implementation of numerical techniques on modern hardware.- Development and analysis...

Image of Numerical Software Verification: 12th International Workshop, NSV 2019, New York City, NY, USA, July
Numerical Software Verification: 12th International Workshop, NSV 2019, New York City, NY, USA, July
 CHF 54.90

mehr Informationen

Berichten Sie über das Produkt

Tutorials.- Correctness and Optimality for Control Systems.- Modeling, Control, and Verification of an Automated Transport System.-...