[email protected]
Θα απαντήσουμε εντός 24 ωρών
ACS 6.49 €
DHL courier 9.99 €
Speedex 5.99 €
Σημείο ACS 6.49 €
Elta 3.99 €
Σημείο Elta 3.99 €
Box Now 3.99 €
Επικοινωνία
Πώς να κάνετε αγορές;
Βοήθεια
Παράδοση
ACS 6.49 €
DHL courier 9.99 €
Speedex 5.99 €
Σημείο ACS 6.49 €
Elta 3.99 €
Σημείο Elta 3.99 €
Box Now 3.99 €
Οδηγός αγορών
Είμαστε εδώ για εσάς!
[email protected]
Ο λογαριασμός μου
Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια.
Δημιουργία δωρεάν λογαριασμού
▸
Άδειο :-(
0
Numerical Software Verification
Γλώσσα
Αγγλική
Αγγλική
Βιβλίο
Χαρτόδετη βιβλιοδεσία
This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Softwar...
Πλήρης περιγραφή
Κωδικός Libristo: 15802752
?
161 b
161 b
64.16
€
Εξωτερικός αποθηκευτικός χώρος σε μικρές ποσότητες
Αποστέλλουμε σε 13-16 ημέρες
30 ημέρες για την επιστροφή των προϊόντων
Μπορεί να σας ενδιαφέρει
/
Σκληρόδετη βιβλιοδεσία
22.09
€
/
Χαρτόδετη βιβλιοδεσία
15.33
€
This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Software Verification, NSV 2016, held in Toronto, ON, Canada in July 2011 - colocated with CAV 2016, the 28th International Conference on Computer Aided Verification. The NSV workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.
Πληροφορίες για το βιβλίο
Πλήρες όνομα
Numerical Software Verification
Συγγραφέας
Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar
Γλώσσα
Αγγλική
Αγγλική
Βιβλιοδεσία
Βιβλίο - Χαρτόδετη βιβλιοδεσία
Ημερομηνία έκδοσης
2017
Αριθμός σελίδων
107
EAN
9783319542911
ISBN
3319542915
Κωδικός Libristo
15802752
ΕΕκδοτικός οίκος
Springer International Publishing AG
Βάρος
1883
Διαστάσεις
155 x 235 x 7
