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

Model Checking Software

11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Χαρτόδετο
Βιβλίο Model Checking Software Susanne Graf
Κωδικός Libristo: 01559203
ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Μάρτιος 2004
This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Chec... Πλήρης περιγραφή
? points 141 b
58.47 €
Εξωτερικός αποθηκευτικός χώρος σε μικρές ποσότητες Αποστέλλουμε σε 13-18 ημέρες
Ελλάδα Παράδοση στην Ελλάδα

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

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

Borderline - Tijuana Connection, 1 DVD William A. Seiter / Video DVD
common.buy 13.75 €
Conni & Co 11: Conni, das Kleeblatt und die Pferde am Meer Dagmar Hofeld / ebook Adobe ePub DRM
common.buy 8.79 €
Προετοιμαζουμε
ALTERNATIVAS DE FINANCIACION PARA EMPRESAS DE REDUCIDA DIMEN FANDOS LOPEZ / Βιβλίο Βιβλίο
common.buy 69.50 €
?Quién es mi bebé? EDICIONES / Βιβλίο Χαρτόδετο
common.buy 19.01 €
Curiosidades en verso. El cuerpo humano SAGRARIO PINTO / Βιβλίο Χαρτόδετο
common.buy 12.54 €
Knoedelschorsch seine Leckerchen Hans-Georg Karl / Βιβλίο Χαρτόδετο
common.buy 9.91 €
TERRA Erdkunde 3. Ausgabe Niedersachsen Gymnasium / Βιβλίο Σκληρόδετο
common.buy 36.41 €
Rafaela McKensey Monika Hoffmann / Βιβλίο Χαρτόδετο
common.buy 7.78 €
Les Fragments Heroiques, Ballet Compose Des Actes d'Ovide Et Julie Fuzelier-L / Βιβλίο Χαρτόδετο
common.buy 15.27 €
Königsblut / Βιβλίο Χαρτόδετο
common.buy 7.88 €

This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Checking Software, SPIN 2004, held in Barcelona, Spain, in April 2004.The 19 revised full papers presented together with the abstracts of an invited talk and 2 tutorials were carefully reviewed and selected from 48 submissions. The papers are organized in topical sections on heuristics and probabilities, improvements of SPIN, validation of timed systems, tool presentations, abstraction and symbolic methods, and applications.

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

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

Πλήρες όνομα Model Checking Software
Συγγραφέας Susanne Graf, Laurent Mounier
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης 2004
Αριθμός σελίδων 314
EAN 9783540213147
ISBN 3540213147
Κωδικός Libristo 01559203
ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Βάρος 493
Διαστάσεις 155 x 235 x 18

Κατηγορία

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
Computing & Information Technology > Operating systems
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

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

Frontiers in Algorithms D. T. Lee / Βιβλίο Χαρτόδετο
common.buy 57.26 €
Classic Operating Systems Per Brinch Hansen / Βιβλίο Σκληρόδετο
common.buy 102.99 €
First Steps: Caro-Kann Defence Andrew Martin / Βιβλίο Χαρτόδετο
common.buy 26.20 €
Gonzalva of Cordova; Or, Grenada Reconquered. Now First Translated from the French of M. Florian. in Three Volumes. ... Volume 2 of 3 Florian / Βιβλίο Χαρτόδετο
common.buy 22.05 €
Obituary Mario Martinez / Βιβλίο Σκληρόδετο
common.buy 27.51 €
7 Mindsets to Master Self-Awareness Elizabeth Diamond / Βιβλίο Χαρτόδετο
common.buy 17.09 €
Marble Mountain Bud Willis / Βιβλίο Χαρτόδετο
common.buy 22.55 €
Sanctuary Willa Ford / Βιβλίο Σκληρόδετο
common.buy 34.09 €
Can You Stand to Be Blessed Lakiya Broadus / Βιβλίο Χαρτόδετο
common.buy 21.24 €
A Time to Laugh [With Bag] Ben Alex / Βιβλίο Σκληρόδετο
common.buy 13.95 €
Patología celular Norman F. Cheville / Βιβλίο Χαρτόδετο
common.buy 43.40 €
Mobile Communications Handbook Jerry D. Gibson / Βιβλίο Χαρτόδετο
common.buy 127.27 €
Eurythmics Eurythmics / Βιβλίο Χαρτόδετο
common.buy 15.17 €
A History of Westbury, Long Island Richard Panchyk / Βιβλίο Σκληρόδετο
common.buy 26.90 €
After the World Ended Hannah Lackoff / Βιβλίο Χαρτόδετο
common.buy 15.57 €
Theory of Cryptography Amos Beimel / Βιβλίο Χαρτόδετο
common.buy 51.69 €
Eugenics and Other Evils G. K. Chesterton / Βιβλίο Χαρτόδετο
common.buy 18.51 €
Windows Server 2012 R2 Inside Out Volume 1 William Stanek / ebook Adobe ePub DRM
common.buy 30.55 €
Methods for Plant Nucleus and Chromatin Studies Célia Baroux / Βιβλίο Σκληρόδετο
common.buy 231.49 €
A to Z of Critical Thinking Beth Black / Βιβλίο Σκληρόδετο
common.buy 126.36 €
Adobe Creative Suite All-in-One Desk Reference For Dummies Jennifer DeHaan / Βιβλίο Χαρτόδετο
common.buy 33.88 €
Computational Methods for Electron-Molecule Collisions Franco A. Gianturco / Βιβλίο Σκληρόδετο
common.buy 154.39 €
Multicriteria Analysis for Land-Use Management E. Beinat / Βιβλίο Σκληρόδετο
common.buy 205.79 €
From Divergent Power Series to Analytic Functions Werner Balser / Βιβλίο Χαρτόδετο
common.buy 34.09 €

Είσοδος

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

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

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

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

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