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

Model Checking Software

16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Χαρτόδετο
Βιβλίο Model Checking Software Corina S. Pasareanu
Κωδικός Libristo: 01650022
ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Ιούνιος 2009
This book constitutes the refereed proceedings of the 16th International SPIN workshop on Model Chec... Πλήρης περιγραφή
? points 125 b
51.53 €
Σε εξωτερική αποθήκη Αποστέλλουμε σε 5-8 ημέρες
Ελλάδα Παράδοση στην Ελλάδα

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

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

Comunidad Terapeutica Psicoanalitica de Estructura Multifamiliar oder Escuela de Familia Christina Keim / Βιβλίο Χαρτόδετο
common.buy 42.66 €
Einf hrung in Die Sprachheilkunde J. Berendes / Βιβλίο Χαρτόδετο
common.buy 48.10 €
Eine Liebeserklärung an das Ruhrgebiet Clara Hofmann / Βιβλίο Χαρτόδετο
common.buy 9.07 €
Fonti normative francescane Roberto Lambertini / Βιβλίο Βιβλίο
common.buy 88.15 €
Panorama estratégico, 2006/2007 / Βιβλίο Χαρτόδετο
common.buy 8.87 €
Azúcar e intervención económica en España Martín Rodríguez / Βιβλίο Χαρτόδετο
common.buy 25.21 €
benandanti. Una storia senza tempo Floreana Nativo / Βιβλίο Χαρτόδετο
common.buy 11.59 €
Lehrbuch der Experimentalphysik / Βιβλίο Σκληρόδετο
common.buy 88.55 €
Das inoffizielle Wednesday Zeichnen- und Kreativ-Buch Gecko Keck / Βιβλίο Χαρτόδετο
common.buy 11.89 €
La lucha continúa Tonya Sipes / Βιβλίο Χαρτόδετο
common.buy 8.87 €
Auswirkungen von Bodenbearbeitung und Mulchen auf den Ertrag von Mais Muhammad Ramzan / Βιβλίο Χαρτόδετο
common.buy 48.81 €
10 Dinge, die autistische Kinder ihren Eltern sagen möchten Ellen Notbohm / Βιβλίο Χαρτόδετο
common.buy 19.66 €
Boko Haram : les mots d'une crise Henri Mbarkoutou Mahamat / Βιβλίο Χαρτόδετο
common.buy 17.94 €
Lodz w PRL-u Ewa Niedzwiecka / Βιβλίο Σκληρόδετο
common.buy 21.27 €
Příběhy z temné komory Günter Grass / Βιβλίο Σκληρόδετο
common.buy 8.66 €
Handbuch der arabischen Dialekte Wolfdietrich Fischer / Βιβλίο Χαρτόδετο
common.buy 46.19 €
Das Geräusch einer Schnecke beim Essen Elisabeth Tova Bailey / Βιβλίο Χαρτόδετο
common.buy 10.88 €
Kärntner Auftragsvergabegesetz Michaela Schabus / Βιβλίο Χαρτόδετο
common.buy 30.15 €
Klassische Boersenstrategien im Test Daniel Ruppert / Βιβλίο Χαρτόδετο
common.buy 40.03 €
Internationale Hölderlin-Bibliographie / 1995-1996. II Materialband Werner P. Sohnle / Βιβλίο Σκληρόδετο
common.buy 62.22 €
Prakticheskij Russkij Yazyk v Situatsiyakh i Illyustratsiyakh G.G. Malyshev / Βιβλίο Χαρτόδετο
common.buy 50.12 €
Werbeagenturen in der Politikvermittlung Simon Marschall / Βιβλίο Χαρτόδετο
common.buy 59.70 €
Santa Biblia/ Holy Bible David Stoop / Βιβλίο Χαρτόδετο
common.buy 28.43 €
Písanka 2 k Českému jazyku pro 2. ročník / Βιβλίο Χαρτόδετο
common.buy 2.71 €

This book constitutes the refereed proceedings of the 16th International SPIN workshop on Model Checking Software, SPIN 2009, held in Grenoble, France, in June 2009.§The 15 revised full papers presented together with 3 tool papers and 4 invited talks were carefully reviewed and selected from 41 submissions. The papers cover theoretical and algorithmic foundations as well as tools for software model checking by addressing theoretical advances and empirical evaluations related to state-space and path exploration techniques, as implemented in software verification tools.

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

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

Πλήρες όνομα Model Checking Software
Συγγραφέας Corina S. Pasareanu
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης 2009
Αριθμός σελίδων 297
EAN 9783642026515
ISBN 3642026516
Κωδικός Libristo 01650022
ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Βάρος 474
Διαστάσεις 155 x 235 x 17

Κατηγορία

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

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

Swann's Way: In Search of Lost Time #1 Proust Marcel / Βιβλίο Χαρτόδετο
common.buy 21.27 €
Unspeakable Failures of David Foster Wallace Clare Hayes-Brady / Βιβλίο Σκληρόδετο
common.buy 200.11 €
Handbook of Food Science and Technology 3 - Food Biochemistry and Technology Romain Jeantet / Βιβλίο Σκληρόδετο
common.buy 177.41 €
Door Wide Open: A Beat Love Affair in Letters, 1957-1958 Jack Kerouac / Βιβλίο Χαρτόδετο
common.buy 24.00 €
Letter from Point Clear Dennis McFarland / Βιβλίο Χαρτόδετο
common.buy 21.37 €
Embattled Shrine: Jamestown in the Civil War David Riggs / Βιβλίο Χαρτόδετο
common.buy 19.05 €
Divergence Charles Sheffield / Ακουστικό βιβλίο MP3
common.buy 20.26 €
World Regional Geography (International Edition) Lydia Mihelic Pulsipher / ebook Adobe ePub DRM
common.buy 66.96 €
Sense and Sensibility Jane Austen / ebook Adobe ePub DRM
common.buy 9.37 €
Tattoo Flash Colouring Book Megamunden / Βιβλίο Χαρτόδετο
common.buy 23.79 €
Swinger Collection 1 Terri J Pedersen / Βιβλίο Χαρτόδετο
common.buy 10.78 €
Physics of the Life Sciences Jay Newman / Βιβλίο Χαρτόδετο
common.buy 87.34 €
Dagger John John (The Nightingale-Bamford School) Loughery / Βιβλίο Σκληρόδετο
common.buy 26.82 €
Catalogue of Type Specimens of Fossil Fishes in the Field Museum of Natural History Volume Fieldiana, Geology, New Series, No. 23 John Clay Bruner / Βιβλίο Σκληρόδετο
common.buy 31.06 €
Ten Poems for a Picnic Jacqueline Gabbitas / Βιβλίο Χαρτόδετο
common.buy 7.55 €
Phenomenology of Pentecostal Leadership Truls Akerlund / Βιβλίο Σκληρόδετο
common.buy 37.71 €
Captivating Kanji: Coloring Book for Adults Featuring Oriental Designs with Japanese Kanji, Eastern Words (Amazing Color Art) Michelle Brubaker / Βιβλίο Χαρτόδετο
common.buy 10.78 €
Teachers Who Love Teaching Teach Children to Love Learning Eve Emelia / Βιβλίο Χαρτόδετο
common.buy 8.06 €
How to Be a Freelance Solicitor PAUL BENNETT / Βιβλίο Χαρτόδετο
common.buy 53.45 €
Manlihood: The 12 Pillars of Masculinity Kelsey Boudin / Βιβλίο Χαρτόδετο
common.buy 15.52 €
The Last of the Mohicans: Leatherstocking Tales #2 James Fenimore Cooper / Βιβλίο Χαρτόδετο
common.buy 17.54 €
The Virginia Military Institute: Its Building and Rebuilding (1912) Francis Henney Smith / Βιβλίο Σκληρόδετο
common.buy 46.89 €
Two Saints & a Lot of Us Sinners Tbd / Βιβλίο Χαρτόδετο
common.buy 19.66 €
A Practical Treatise on Diseases of the Skin, for the Use of Students and Practitioners James Nevins Hyde / Βιβλίο Χαρτόδετο
common.buy 32.07 €

Είσοδος

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

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

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

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

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