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

12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings

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

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

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

Die Transformatoren R. Küchler / Βιβλίο Χαρτόδετο
common.buy 77.09 €
K fyrir Klara 13 - Andinn i glasinu Line Kyed Knudsen / ebook Adobe ePub DRM
common.buy 2.62 €
Προετοιμαζουμε
Warhammer 40,000: Space Marine 2 Action Figure Ultramarines Relic Secundus Armour 20 cm Παιχνίδι/Επιτραπέζιο παιχνίδι Παιχνίδι
common.buy 78.81 €
O Instrutor Do Mundo Para Toda a Humanidade Benjamin Creme / ebook Adobe ePub DRM
common.buy 0.90 €
ETNOGRAFIA PARA EDUCADORES (EDICION PARA COLOMBIA) CELIGUETA COMERMA / Βιβλίο Χαρτόδετο
common.buy 7.48 €
Global Tools (1973-1975) / Βιβλίο Σκληρόδετο
common.buy 42.59 €
Sovranità. Origine e futuro di un concetto chiave Dieter Grimm / Βιβλίο Χαρτόδετο
common.buy 20.53 €
Ineos Grenadier Jörg Sand / Βιβλίο Σκληρόδετο
common.buy 16.89 €
Šťastie na prenájom Lucia Braunová / Βιβλίο Χαρτόδετο
common.buy 7.27 €
Passwort Logbuch Uwe H. Sültz / Βιβλίο Χαρτόδετο
common.buy 4.64 €
SLOVO BUDHOVO Nyánatiloka Maháthera / Βιβλίο Βιβλίο
common.buy 7.58 €
Manifest des evolutionären Humanismus Michael Schmidt-Salomon / Βιβλίο Χαρτόδετο
common.buy 10.92 €
La Region Mas Transparente Carlos Fuentes / Βιβλίο Χαρτόδετο
common.buy 18.30 €
Alkohol am Arbeitsplatz. Sensibilisierung fur Fuhrungskrafte Nadine Leykam / Βιβλίο Χαρτόδετο
common.buy 42.79 €
Aronia - Das heimische Superfood Tanja Braune / Βιβλίο Χαρτόδετο
common.buy 16.89 €
Cuentos Que Siempre Debiste Leer Vicente Garcia Rodriguez / Βιβλίο Χαρτόδετο
common.buy 6.57 €
PASOS Y ETAPAS DE 1 A 3 AÑOS PITMAN / Βιβλίο Χαρτόδετο
common.buy 28.52 €
Přijímačky na vysoké školy v pohodě Studijní předpoklady / Βιβλίο Χαρτόδετο
common.buy 17.39 €
Les Petits Loustics Hugues Denisot / Βιβλίο Χαρτόδετο
common.buy 15.47 €
Ingenieurbauführer Berlin Roland May / Βιβλίο Χαρτόδετο
common.buy 25.28 €
Main de fer et gant de velours Virginie Platel / Βιβλίο Χαρτόδετο
common.buy 22.86 €
En Ovantad flykt till Sverige Tadesse Kassa / Βιβλίο Χαρτόδετο
common.buy 10.92 €
Ortografia 4 Prrimer Ciclo E.S.O. Blanco Rubio / Βιβλίο Χαρτόδετο
common.buy 8.49 €

This book constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held in San Francisco, USA in August 2005.§The 15 revised full papers presented were carefully reviewed and selected from 45 submissions; in addition there are 4 tool presentation papers selected from 6 submissions. The papers are organized in topical sections on state representation and abstraction, dealing with concurrency, dealing with complex data, checking temporal properties, and checking security and real-time properties.

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

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

Πλήρες όνομα Model Checking Software
Συγγραφέας Patrick Godefroid
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης 2005
Αριθμός σελίδων 292
EAN 9783540281955
ISBN 3540281959
Κωδικός Libristo 01560970
ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Βάρος 960
Διαστάσεις 155 x 235 x 17

Κατηγορία

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

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

Mini Look & Find at School (Mini Look & Find) Thierry Laval / Βιβλίο Σκληρόδετο
common.buy 9.70 €
Across the Seasons Laura Rugel Glise / Βιβλίο Χαρτόδετο
common.buy 20.23 €
SELECTED SONATA MOVEMENTS VOLUME 1 LUDWIG VA BEETHOVEN / Βιβλίο Χαρτόδετο
common.buy 21.14 €
Livelihoods, Natural Resources, and Post-Conflict Peacebuilding Helen Young / Βιβλίο Σκληρόδετο
common.buy 218.43 €
Home On Bramble Hill Holly Martin / Ακουστικό βιβλίο MP3
common.buy 15.17 €
Not in the Flesh Ruth Rendell / Βιβλίο Χαρτόδετο
common.buy 16.48 €
Lakeland Lynn M. Homan / Βιβλίο Χαρτόδετο
common.buy 20.83 €
The English Baptists John Clifford / Βιβλίο Σκληρόδετο
common.buy 41.37 €
White Cats Book Marjo-Kaisu Niinikoski / Βιβλίο Χαρτόδετο
common.buy 22.25 €
Gabriella's Reading Log Martha Day Zschock / Βιβλίο Σκληρόδετο
common.buy 16.68 €
Effect of loads and air flow on an agricultural tractor engine Fabio Gomes / Βιβλίο Χαρτόδετο
common.buy 35.71 €
Lightning Strikes Stephanie Richards / Βιβλίο Χαρτόδετο
common.buy 14.46 €
GREAT CAROLS Hal Leonard Corp / Βιβλίο Χαρτόδετο
common.buy 13.24 €
Andante and Caprice: Clarinet Quartet - Grade 2.5 C. W. Gluck / Βιβλίο Χαρτόδετο
common.buy 8.89 €
A Newbies Guide to Using iMovie For the iPad Minute Help Guides / Βιβλίο Χαρτόδετο
common.buy 15.57 €
Beyond the Messier and Caldwell Catalogues MR Martin P Nicholson / Βιβλίο Χαρτόδετο
common.buy 10.51 €
Double Digit Annabel Monaghan / ebook Adobe ePub DRM
common.buy 2.52 €
Understanding FIDIC Kelvin Hughes / Βιβλίο Σκληρόδετο
common.buy 185.85 €
Horrible Craft Book Laura Minter / Βιβλίο Χαρτόδετο
common.buy 16.68 €
Georgian Tinatin Bolkvadze / Βιβλίο Σκληρόδετο
common.buy 196.68 €
Fishing Holidays Stephen Gwynn / Βιβλίο Χαρτόδετο
common.buy 25.28 €
Fist Number 6 Dean Whittington / Βιβλίο Σκληρόδετο
common.buy 28.52 €
Hegel J. M. Fritzman / Βιβλίο Χαρτόδετο
common.buy 29.84 €
African Women and Apartheid Rebekah Lee / Βιβλίο Σκληρόδετο
common.buy 204.17 €

Είσοδος

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

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

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

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

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