Έλεγχος κατάστασης παραγγελίας
LIBRISTO
LIBROAMANTO
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης
Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια. Δημιουργία δωρεάν λογαριασμού
0
Δωρεάν αποστολή με 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 Επικοινωνία phoneΠώς να κάνετε αγορές;

Computer Aided Verification

28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Χαρτόδετο
Βιβλίο Computer Aided Verification Swarat Chaudhuri
Κωδικός Libristo: 12580327
ΕΕκδοτικός οίκος Springer International Publishing AG, Ιούλιος 2016
The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th Internat... Πλήρης περιγραφή
? points 125 b
51.65 €
Σε εξωτερική αποθήκη Αποστέλλουμε σε 5-8 ημέρες
Ελλάδα Παράδοση στην Ελλάδα

Έως 30 ημέρες για επιστροφή

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

Hybrides : c'est pas d'la flotte ! (Les) D'AUTEURS / Βιβλίο Χαρτόδετο
common.buy 7.67 €
Τοπ
Романовы. Путь святости и Голгофы Д.А. Остроумов / Βιβλίο Σκληρόδετο
common.buy 40.73 €
SCHEDA LIBRO INFANZIA DI NATHALIE SARRAU SARRAUTE NATHALIE / Βιβλίο Χαρτόδετο
common.buy 7.88 €
parole del silenzio. In ascolto dell'Essere Piermario Ferrari / Βιβλίο Χαρτόδετο
common.buy 19.60 €
Making und Schule Selina Ingold / Βιβλίο Χαρτόδετο
common.buy 22.23 €
ultimo dei giusti André Schwarz Bart / Βιβλίο Χαρτόδετο
common.buy 23.24 €
Métodos de numeración y remuneración genealógica Fernández Vilches / Βιβλίο Χαρτόδετο
common.buy 15.66 €
¡Adelante! JEAN-LOUIS BARREAU / Βιβλίο Χαρτόδετο
common.buy 24.66 €
Rondalles valencianes JOSEP FRANCO / Βιβλίο Χαρτόδετο
common.buy 25.67 €
Ma première mythologie - Mes premières lectures de mythologie CP/CE1 6/7 ans Hélène Kérillis / Βιβλίο Βιβλίο
common.buy 9.29 €
Zrozumieć Japonię Dorota Ugorowska / Βιβλίο Χαρτόδετο
common.buy 11.72 €
Mediation Im Strafrecht Stefanie Mühlfeld / Βιβλίο Χαρτόδετο
common.buy 85.41 €
Por los mares del Sur con Jack London MARTIN JOHNSON / Βιβλίο Χαρτόδετο
common.buy 21.93 €
El triunfo de la pintura : sobre el coleccionismo cortesano en el siglo XVII Jonathan Brown / Βιβλίο Χαρτόδετο
common.buy 72.07 €

The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016.??The total of 46 full and 12 short papers presented in the proceedings was carefully reviewed and selected from 195 submissions. The papers were organized in topical sections named: probabilistic systems; synthesis; constraint solving; model checking; program analysis; timed and hybrid systems; verification in practice; concurrency; and automata and games.?

Ηθοποιός & Πολύγλωσση
EWA KASP για
Αναπαραγωγή βίντεο
Ewa Kasp
το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.

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

Πλήρες όνομα Computer Aided Verification
Συγγραφέας Swarat Chaudhuri, Azadeh Farzan
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης 2016
Αριθμός σελίδων 521
EAN 9783319415390
ISBN 3319415395
Κωδικός Libristo 12580327
ΕΕκδοτικός οίκος Springer International Publishing AG
Βάρος 8073
Διαστάσεις 155 x 235 x 32

Κατηγορία

Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Computing & Information Technology > Computer networking & communications
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

Μπορεί να σας ενδιαφέρει

Cord Blood Transplantations Mitchell Horwitz / Βιβλίο Σκληρόδετο
common.buy 120.80 €
Glassy Materials And Disordered Solids: An Introduction To Their Statistical Mechanics (Revised Edition) Kurt Binder / Βιβλίο Σκληρόδετο
common.buy 112.71 €
Τοπ Νέα
Hunger and Thirst Claire Fuller / Βιβλίο Χαρτόδετο
common.buy 15.15 €
Leyte 1944 Chun Clayton K. S. Chun / ebook Adobe ePub DRM
common.buy 19.20 €
Caithness Events: A Discussion Of Captain Kennedy's Historical Narrative, And An Account Of The Broynach Earls (1899) Thomas Sinclair / Βιβλίο Χαρτόδετο
common.buy 28.20 €
Pulling Up Stakes: A CampCon Anthology Leah Cutter / Βιβλίο Χαρτόδετο
common.buy 13.64 €
Faith Lessons: Lessons in Faith in Genesis Bruce Goettsche / Βιβλίο Χαρτόδετο
common.buy 18.39 €
New Jersey Joseph G. Bilby / Βιβλίο Σκληρόδετο
common.buy 31.23 €
Blaine's Playful Namaste Kerry Alison Wekelo / Βιβλίο Σκληρόδετο
common.buy 16.67 €
Nuclear Energy Nicholas Tsoulfanidis / Βιβλίο Σκληρόδετο
common.buy 225.63 €
Easy Cooking for Special Diets: How to Cook for Weight Loss/Blood Sugar Control, Food Allergy, Heart Healthy, Diabetic, and Just Healthy Diets Even If Nicolette M. Dumke / Βιβλίο Χαρτόδετο
common.buy 26.27 €
Flight of the Hummingbird Michael Nicoll Yahgulanaas / Βιβλίο Σκληρόδετο
common.buy 15.15 €
Freedom of Speech Elizabeth Powers / Βιβλίο Σκληρόδετο
common.buy 136.87 €

Είσοδος

Συνδεθείτε στο λογαριασμό σας Δεν έχετε ακόμη λογαριασμό στο Libristo; Δημιουργήστε τον τώρα!

 
υποχρεωτικό
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης

Δεν έχετε λογαριασμό; Αποκτήστε τα οφέλη ενός λογαριασμού Libristo!

Με έναν λογαριασμό Libristo, θα έχετε τον απόλυτο έλεγχο.

Δημιουργία λογαριασμού Libristo
Σύμβουλος βιβλίων Libroamiko
Γεια σας, είμαι ο Libroamiko, μπορώ να βοηθήσω;