Έλεγχος κατάστασης παραγγελίας

Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια. Δημιουργία δωρεάν λογαριασμού

Δωρεάν αποστολή με Box Now άνω των 69.99 €

DHL courier 9.99 € Σημείο Elta 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € Σημείο ACS 3.99 €

Επικοινωνία phone

Πώς να κάνετε αγορές;

Βοήθεια

Ο λογαριασμός μου

▸ Άδειο :-(

Numerical Software Verification

Name: Numerical Software Verification
Brand: Springer
SKU: 41041917
Price: 60.38 EUR
Availability: InStock
Author: Alessandro Abate
ISBN: 9783319635019

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

Alessandro Abate

Sylvie Boldo

Γλώσσα

Αγγλική

ebook Adobe ePub DRM

Κωδικός Libristo: 41041917

ΕΕκδοτικός οίκος Springer, Ιούλιος 2017

This book constitutes the proceedings of the 10th International Workshop on Numerical Software Veri... Πλήρης περιγραφή

Κωδικός Libristo: 41041917

146 b

60.38 €

Σε απόθεμα Άμεσο κατέβασμα

Οι πελάτες αγόρασαν επίσης

Śmierć Anglika Magdalen Nabb

Χαρτόδετο

9.60 €

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.

Ηθοποιός & Πολύγλωσση

EWA KASP για

Αναπαραγωγή βίντεο

το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.

Πληροφορίες για το βιβλίο

Πλήρες όνομα Numerical Software Verification

Συγγραφέας Alessandro Abate, Sylvie Boldo

Γλώσσα

Αγγλική

Βιβλιοδεσία ebook - Adobe ePub DRM

Ημερομηνία έκδοσης 2017

EAN 9783319635019

Κωδικός Libristo 41041917

ΕΕκδοτικός οίκος Springer

Κατηγορία

Computing & Information Technology > Computer programming / software engineering > Software Engineering > Software testing & verification

Χαρίστε αυτό το βιβλίο σήμερα

Είναι εύκολο

1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη