Έλεγχος κατάστασης παραγγελίας
LIBRISTO
LIBROAMANTO
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης
Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια. Δημιουργία δωρεάν λογαριασμού
0
Δωρεάν αποστολή με Box Now άνω των 69.99 €
DHL courier 9.99 € Σημείο Elta 3.99 € Elta 4.49 € ACS 4.99 € Σημείο ACS 4.99 € Box Now 3.99 €
phone Επικοινωνία phoneΠώς να κάνετε αγορές;

Computer Aided Verification

27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Χαρτόδετο
Βιβλίο Computer Aided Verification Daniel Kroening
Κωδικός Libristo: 09372120
ΕΕκδοτικός οίκος Springer International Publishing AG, Ιούλιος 2015
The two-volume proceedings set LNCS 9206 + 9207 constitutes the refereed proceedings of the 27th Int... Πλήρης περιγραφή
? points 125 b
51.69 €
Εξωτερικός αποθηκευτικός χώρος Αποστέλλουμε σε 5-8 ημέρες
Ελλάδα Παράδοση στην Ελλάδα

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

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

Φθηνά
La génération Z et le luxe Eric Briones (dit Darkplanneur) / Βιβλίο Χαρτόδετο
common.buy 21.04 €
Vánoční koledy Vladimíra Vopičková / Βιβλίο Σκληρόδετο
common.buy 3.63 €
Klube & THE BATES Christof Dörr / Βιβλίο Χαρτόδετο
common.buy 18.00 €
EL SIGNO DEL DRAGÓN RICARDO ALIA / Βιβλίο Σκληρόδετο
common.buy 13.35 €
SICILIA PHILIPPE GLOAGUEN / Βιβλίο Σκληρόδετο
common.buy 26.40 €
Nouvelle Biblioth?que Germanique... Jean-Henri-Samuel Formey / Βιβλίο Χαρτόδετο
common.buy 31.46 €
Inspirationen zu Franz Marc "Skizzen aus dem Felde" Maria-Anna Bäuml-Roßnagl / Βιβλίο Χαρτόδετο
common.buy 32.16 €
Ensemble: Liebfrauenkirche - Kloster - Prinzenhof - Papiermühle und Teile der alten Stadtmauer (Puzzle) Monika Müller / Παιχνίδι/Επιτραπέζιο παιχνίδι Επιτραπέζιο παιχνίδι
common.buy 30.44 €
Sagen aus Franken Susanne Rebscher / Βιβλίο Σκληρόδετο
common.buy 14.96 €
Russlands landlische Zustande Julius Wilhelm Albert von Eckardt / Βιβλίο Χαρτόδετο
common.buy 20.53 €
Diario de un viejo terminal Zamir Bechara / Βιβλίο Χαρτόδετο
common.buy 23.46 €
Auxiliares Administrativos de Corporaciones Locales. Test del Temario General MARTOS NAVARRO / Βιβλίο Χαρτόδετο
common.buy 33.68 €
Pollos y gallinas de la A a la Z : todas las respuestas a sus preguntas Gail Damerow / Βιβλίο Χαρτόδετο
common.buy 65.65 €
Reise durch Barcelona Andreas Drouve / Βιβλίο Σκληρόδετο
common.buy 18.00 €
Die 101 wichtigsten Fragen - Rassismus Susan Arndt / Βιβλίο Χαρτόδετο
common.buy 9.91 €
Clemens Brentano Detlev Lüders / Βιβλίο Σκληρόδετο
common.buy 119.18 €
L.A. Nudes Confidential Sean McCall / Βιβλίο Σκληρόδετο
common.buy 31.56 €
Juwikinger - Erster Teil Olav Duun / Βιβλίο Σκληρόδετο
common.buy 31.25 €
Stunden-Buch Rainer Maria Rilke / Βιβλίο Χαρτόδετο
common.buy 8.99 €

The two-volume proceedings set LNCS 9206 + 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015.§§The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed and selected from 252 submissions. The papers were organized in topical sections named: model checking and refinements; quantitative reasoning; software analysis; lightning talks; interpolation, IC3/PDR, and Invariants; SMT techniques and applications; HW verification; synthesis; termination; and concurrency.§

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

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

Πλήρες όνομα Computer Aided Verification
Συγγραφέας Daniel Kroening, Corina S. Pasareanu
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης 2015
Αριθμός σελίδων 677
EAN 9783319216898
ISBN 3319216899
Κωδικός Libristo 09372120
ΕΕκδοτικός οίκος Springer International Publishing AG
Βάρος 1048
Διαστάσεις 155 x 235 x 40

Κατηγορία

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 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

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

Sterilization of Food in Retort Pouches A.G. Abdul Ghani Al-Baali / Βιβλίο Χαρτόδετο
common.buy 102.99 €
Προετοιμαζουμε
Introduction to International Relations Richard Devetak / Βιβλίο Χαρτόδετο
common.buy 71.42 €
Spice Secret Billie Holladay Skelley / Βιβλίο Χαρτόδετο
common.buy 6.67 €
Amber Waves Sharon Schenbeck / Βιβλίο Χαρτόδετο
common.buy 10.82 €
Life of an EX College Bandsman 5: Starting All Over Jaxon Grant / Βιβλίο Χαρτόδετο
common.buy 20.53 €
America: A History: I. The United States. II. The Dominion of Canada. III. South America, &c Robert Mackenzie / Βιβλίο Σκληρόδετο
common.buy 42.08 €
Descartes and the Dutch: Early Reactions to Cartesian Philosophy, 1637-1650 Theo Verbeek / Βιβλίο Σκληρόδετο
common.buy 36.21 €
Bondage and Travels of Johann Schiltberger, a Native of Bavaria, in Europe, Asia, and Africa, 1396-1427 / Digital Digital online
common.buy 55.13 €
Revival: Nietzsche in Context (2001) Robin Small / Βιβλίο Χαρτόδετο
common.buy 66.67 €
Τοπ
Lean Change Management Jason Little / Βιβλίο Χαρτόδετο
common.buy 28.83 €
Guide To Gaelic Conversation And Pronunciation: With Vocabularies, Dialogues, Phrases And Letter Forms (1905) Lachlan Macbean / Βιβλίο Σκληρόδετο
common.buy 36.21 €
Because He Loves Me Dana M Watson / Βιβλίο Χαρτόδετο
common.buy 20.33 €
Τοπ
Spanish English Illustrated Dictionary DK / Βιβλίο Χαρτόδετο
common.buy 21.24 €
Intimate: An American Family Photo Album Paisley Rekdal / Βιβλίο Σκληρόδετο
common.buy 29.94 €
Dear Mr. Nelson Kenneth E Nelson / Βιβλίο Σκληρόδετο
common.buy 31.25 €
Προετοιμαζουμε
NATIONALISM Richard Allen Sauers / Βιβλίο Σκληρόδετο
common.buy 50.98 €
Flexible Metal-Organic Frameworks: Structural Design, Synthesis and Properties Susumu Kitagawa / Βιβλίο Σκληρόδετο
common.buy 146.90 €
World Century Compendium To Tcm - Volume 4: Introduction To Chinese Internal Medicine Hong Zhou Wu / Βιβλίο Χαρτόδετο
common.buy 107.85 €
Chicano Frankenstein Daniel A. Olivas / Ακουστικό βιβλίο MP3
common.buy 20.12 €
Dynamic Business Process Formation for Instant Virtual Enterprises Nikolay Mehandjiev / Βιβλίο Χαρτόδετο
common.buy 154.39 €
Chemical Genomics Edward D. Zanders / Βιβλίο Χαρτόδετο
common.buy 113.51 €

Είσοδος

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

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

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

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

Δημιουργία λογαριασμού Libristo