Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια.
Δημιουργία δωρεάν λογαριασμού
Δωρεάν αποστολή με Box Now άνω των 69.99 €
DHL courier 9.99 €
Σημείο Elta 3.99 €
Elta 4.49 €
ACS 4.99 €
Σημείο ACS 4.99 €
Box Now 3.99 €
Επικοινωνία
Πώς να κάνετε αγορές;
Βοήθεια
Παράδοση
DHL courier 9.99 €
Σημείο Elta 3.99 €
Elta 4.49 €
ACS 4.99 €
Σημείο ACS 4.99 €
Box Now 3.99 €
Δωρεάν αποστολή με Box Now άνω των 69.99 €
Οδηγός αγορών
Είμαστε στη διάθεσή σας!
210 2602819
Ο λογαριασμός μου
▸
Άδειο :-(
0
Computer Aided Verification
Γλώσσα
Αγγλική
Αγγλική
Βιβλίο
Χαρτόδετο
The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st...
Πλήρης περιγραφή
Κωδικός Libristo: 24027842
?
125 b
125 b
51.63
€
Εξωτερικός αποθηκευτικός χώρος
Αποστέλλουμε σε 5-8 ημέρες
Παράδοση στην Ελλάδα
Παράδοση στην Ελλάδα
30 ημέρες για την επιστροφή των προϊόντων
Οι πελάτες αγόρασαν επίσης
The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented togeth
Ηθοποιός
&
Πολύγλωσση
EWA KASP
για
Αναπαραγωγή βίντεο
το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.
Πληροφορίες για το βιβλίο
Πλήρες όνομα
Computer Aided Verification
Συγγραφέας
Isil Dillig, Serdar Tasiran
Γλώσσα
Αγγλική
Αγγλική
Βιβλιοδεσία
Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης
2019
Αριθμός σελίδων
549
EAN
9783030255428
ISBN
3030255425
Κωδικός Libristo
24027842
ΕΕκδοτικός οίκος
Springer Nature Switzerland AG
Βάρος
866
Διαστάσεις
155 x 235 x 31
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτηΜπορεί να σας ενδιαφέρει
/
Χαρτόδετο
15.35
€
