Έλεγχος κατάστασης παραγγελίας
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Πώς να κάνετε αγορές;

Verification, Model Checking, and Abstract Interpretation

9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Χαρτόδετο
Βιβλίο Verification, Model Checking, and Abstract Interpretation Francesco Logozzo
Κωδικός Libristo: 01569894
ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Φεβρουάριος 2008
This book contains the proceedings of VMCAI 2007. It features current research from the communities... Πλήρης περιγραφή
? points 125 b
51.63 €
Εξωτερικός αποθηκευτικός χώρος Αποστέλλουμε σε 5-8 ημέρες
Ελλάδα Παράδοση στην Ελλάδα

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

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

Ergebnisse Der Inneren Medizin Und Kinderheilkunde L. Langstein / Βιβλίο Χαρτόδετο
common.buy 63.45 €
Selbstorganisierende Merkmalskarten zum Lernen von Gesten Andreas Rüter / Βιβλίο Χαρτόδετο
common.buy 49.91 €
FILOSOFIA DE LA CIENCIA EN LA EDUCACION / Βιβλίο Βιβλίο
common.buy 40.01 €
Kužeľosečky 1 Kružnica I.diel Marián Olejár / Βιβλίο Χαρτόδετο
common.buy 3.02 €
Entwicklungswerttheorie, Entwicklungsökonomie, Menschenökonomie - Eine Programmschrift Rudolf Goldscheid / Βιβλίο Χαρτόδετο
common.buy 22.73 €
L'ORTHODONTIE FONCTIONNELLE Choukroun / Βιβλίο Χαρτόδετο
common.buy 57.59 €
Die Psychologie Descartes'.: Systematisch Und Historisch-Kritisch Anton Koch / Βιβλίο Χαρτόδετο
common.buy 25.96 €
Verordnung über die Berufsausbildung zum Kerzenhersteller und Wachsbildner und zur Kerzenherstellerin und Wachsbildnerin Antiphon Verlag / Βιβλίο Χαρτόδετο
common.buy 10.90 €
Engagementpolitik Thomas Olk / Βιβλίο Χαρτόδετο
common.buy 80.02 €
Geburt der Musik Willy Pastor / Βιβλίο Χαρτόδετο
common.buy 22.32 €
Djinn Jorge Pardo / Audio Audio CD
common.buy 23.03 €
Ränder der Moderne Robert Weimann / Βιβλίο Χαρτόδετο
common.buy 12.92 €

This book contains the proceedings of VMCAI 2007. It features current research from the communities of verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, and advancement of hybrid methods.

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

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

Πλήρες όνομα Verification, Model Checking, and Abstract Interpretation
Συγγραφέας Francesco Logozzo, Doron A. Peled, Leonore D. Zuck
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης 2008
Αριθμός σελίδων 325
EAN 9783540781622
ISBN 3540781625
Κωδικός Libristo 01569894
ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Βάρος 522
Διαστάσεις 155 x 235 x 19

Κατηγορία

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

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

Electrochemistry IV Eberhard Steckhan / Βιβλίο Σκληρόδετο
common.buy 137.52 €
Now the Cats With Jeweled Claws and Other One-Act Plays Tennessee Williams / Βιβλίο Χαρτόδετο
common.buy 15.45 €
Westmorland Alone Ian Sansom / Ακουστικό βιβλίο MP3
common.buy 14.24 €
Trump Boom Andrew Puzder / Βιβλίο Χαρτόδετο
common.buy 15.15 €
Leave Me Breathless: A Three Book Set of Hot and Steamy Romances Kristin Daniels / Βιβλίο Χαρτόδετο
common.buy 10.80 €
Jake Wolf Attorney at Law David Shaw / Βιβλίο Χαρτόδετο
common.buy 9.69 €
Truffaut on Cinema Anne Gillain / Βιβλίο Χαρτόδετο
common.buy 38.29 €
Unitt's Canadian Price Guide to Dolls and Toys Peter Unitt / Βιβλίο Χαρτόδετο
common.buy 12.82 €
Guide Book To York Minster F. Harriso / Βιβλίο Χαρτόδετο
common.buy 24.75 €
Prince of Rockport Guy Vanamburg / Βιβλίο Χαρτόδετο
common.buy 20.30 €
Essay on the Progressive Improvement of Mankind. an Oration Delivered in the Chapel of Trinity College, Cambridge, on the Day of Commemoration ... William Lamb Melbourne / Βιβλίο Χαρτόδετο
common.buy 13.43 €
National Flood Insurance Program Cameron O'Kelly / Βιβλίο Χαρτόδετο
common.buy 88.01 €
Cambridge English: First Masterclass: Class Audio CDs Barbara Stewart / Audio Audio CD
common.buy 95.99 €
Neighbors, Strangers, Witches, and Culture-Heroes Susan J Rasmussen / Βιβλίο Σκληρόδετο
common.buy 104.98 €
Conceiving Risk, Bearing Responsibility Elizabeth M. Armstrong / Βιβλίο Χαρτόδετο
common.buy 35.56 €
Twentieth-Century Diplomacy John W. Young / Βιβλίο Χαρτόδετο
common.buy 63.75 €
Discover English 3 Učebnice Jayne Wildman / Βιβλίο Χαρτόδετο
common.buy 20.20 €

Είσοδος

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

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

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

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

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