[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
QED at Large
Γλώσσα
Αγγλική
Αγγλική
Βιβλίο
Χαρτόδετη βιβλιοδεσία
Development of formal proofs of correctness of programs can increase actual and perceived reliabilit...
Πλήρης περιγραφή
Κωδικός Libristo: 24616253
?
266 b
266 b
106.13
€
Εξωτερικός αποθηκευτικός χώρος
Αποστέλλουμε σε 15-20 ημέρες
30 ημέρες για την επιστροφή των προϊόντων
Μπορεί να σας ενδιαφέρει
/
Χαρτόδετη βιβλιοδεσία
19.46
€
Development of formal proofs of correctness of programs can increase actual and perceived reliability and facilitate better understanding of program specifications and their underlying assumptions. Tools supporting such development have been available for
Πληροφορίες για το βιβλίο
Πλήρες όνομα
QED at Large
Συγγραφέας
Karl Palmskog, Ilya Sergey
Γλώσσα
Αγγλική
Αγγλική
Βιβλιοδεσία
Βιβλίο - Χαρτόδετη βιβλιοδεσία
Ημερομηνία έκδοσης
2019
Αριθμός σελίδων
194
EAN
9781680835946
ISBN
1680835947
Κωδικός Libristo
24616253
ΕΕκδοτικός οίκος
Now Publishers Inc
Βάρος
306
Διαστάσεις
293 x 234 x 14
