Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Model Checking Software

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

Limba englezăengleză
Carte Carte broșată
Carte Model Checking Software Corina S. Pasareanu
Codul Libristo: 01650022
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, iunie 2009
This book constitutes the refereed proceedings of the 16th International SPIN workshop on Model Chec... Descrierea completă
? points 132 b
286.02 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Comunidad Terapeutica Psicoanalitica de Estructura Multifamiliar oder Escuela de Familia Christina Keim / Carte Carte broșată
common.buy 238.47 lei
Einf hrung in Die Sprachheilkunde J. Berendes / Carte Carte broșată
common.buy 267.57 lei
10 Dinge, die autistische Kinder ihren Eltern sagen möchten Ellen Notbohm / Carte Carte broșată
common.buy 110.11 lei
OEuvres De Moli?re: Les Facheux, Comédie. L'école Des Femmes, Comédie. L'impromptu De Versailles, Comédie Molire / Carte Carte broșată
common.buy 204.58 lei
Azúcar e intervención económica en España Martín Rodríguez / Carte Carte broșată
common.buy 133.36 lei
Panorama estratégico, 2006/2007 / Carte Carte broșată
common.buy 47.33 lei
Fonti normative francescane Roberto Lambertini / Carte Carte
common.buy 465.59 lei
benandanti. Una storia senza tempo Floreana Nativo / Carte Carte broșată
common.buy 62.35 lei
Handbuch der arabischen Dialekte Wolfdietrich Fischer / Carte Carte broșată
common.buy 256.93 lei
Santa Biblia/ Holy Bible David Stoop / Carte Carte broșată
common.buy 149.63 lei
Auswirkungen von Bodenbearbeitung und Mulchen auf den Ertrag von Mais Muhammad Ramzan / Carte Carte broșată
common.buy 272.26 lei
Das inoffizielle Wednesday Zeichnen- und Kreativ-Buch Gecko Keck / Carte Carte broșată
common.buy 66.62 lei
Eine Liebeserklärung an das Ruhrgebiet Clara Hofmann / Carte Carte broșată
common.buy 50.77 lei
Lehrbuch der Experimentalphysik / Carte Copertă tare
common.buy 494.27 lei
Příběhy z temné komory Günter Grass / Carte Copertă tare
common.buy 50.15 lei
Boko Haram : les mots d'une crise Henri Mbarkoutou Mahamat / Carte Carte broșată
common.buy 100.10 lei
Top
Písanka 2 k Českému jazyku pro 2. ročník / Carte Carte broșată
common.buy 14.07 lei
Monsenor Dupanloup: Episodio De La Historia Contemporanea De 1845 A 1875 (1876) Victor Pelletier / Carte Carte broșată
common.buy 143.06 lei
Anticuerpos monoclonales : realidades y perspectivas Álvarez-Vallina / Carte Carte broșată
common.buy 248.17 lei
Kärntner Auftragsvergabegesetz Michaela Schabus / Carte Carte broșată
common.buy 159.12 lei
Klassische Boersenstrategien im Test Daniel Ruppert / Carte Carte broșată
common.buy 223.46 lei
Hüzünlü Vagonlar Deniz Soganci / Carte Carte broșată
common.buy 67.56 lei
Todesherz Karen Rose / Carte Carte broșată
common.buy 114.90 lei
Políticas focalizadas de transferência de renda: contextos e BARBARA COBO / Carte Carte
common.buy 155.05 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Model Checking Software
Autor Corina S. Pasareanu
Limba engleză
Legare Carte - Carte broșată
Data publicării 2009
Număr pagini 297
EAN 9783642026515
ISBN 3642026516
Codul Libristo 01650022
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 474
Dimensiuni 155 x 235 x 17

Categorii

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
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Teachers Who Love Teaching Teach Children to Love Learning Eve Emelia / Carte Carte broșată
common.buy 42.33 lei
Handbook of Food Science and Technology 3 - Food Biochemistry and Technology Romain Jeantet / Carte Copertă tare
common.buy 935.05 lei
Door Wide Open: A Beat Love Affair in Letters, 1957-1958 Jack Kerouac / Carte Carte broșată
common.buy 126.37 lei
Letter from Point Clear Dennis McFarland / Carte Carte broșată
common.buy 112.71 lei
Embattled Shrine: Jamestown in the Civil War David Riggs / Carte Carte broșată
common.buy 100.30 lei
Dagger John John (The Nightingale-Bamford School) Loughery / Carte Copertă tare
common.buy 141.18 lei
Catalogue of Type Specimens of Fossil Fishes in the Field Museum of Natural History Volume Fieldiana, Geology, New Series, No. 23 John Clay Bruner / Carte Copertă tare
common.buy 163.92 lei
Ten Poems for a Picnic Jacqueline Gabbitas / Carte Carte broșată
common.buy 42.74 lei
Phenomenology of Pentecostal Leadership Truls Akerlund / Carte Copertă tare
common.buy 198.95 lei
Swann's Way: In Search of Lost Time #1 Proust Marcel / Carte Carte broșată
common.buy 112.30 lei
How to Be a Freelance Solicitor PAUL BENNETT / Carte Carte broșată
common.buy 281.44 lei
Manlihood: The 12 Pillars of Masculinity Kelsey Boudin / Carte Carte broșată
common.buy 81.85 lei
The Last of the Mohicans: Leatherstocking Tales #2 James Fenimore Cooper / Carte Carte broșată
common.buy 92.48 lei
The Virginia Military Institute: Its Building and Rebuilding (1912) Francis Henney Smith / Carte Copertă tare
common.buy 247.13 lei
Two Saints & a Lot of Us Sinners Tbd / Carte Carte broșată
common.buy 103.75 lei
Sense and Sensibility Jane Austen / E-book Adobe ePub DRM
common.buy 49.31 lei
World Regional Geography (International Edition) Lydia Mihelic Pulsipher / E-book Adobe ePub DRM
common.buy 349.42 lei
Untold Story Monica Ali / Audiobook MP3
common.buy 137.64 lei
Color for Knowledge Walter the Educator / Carte Carte broșată
common.buy 110.94 lei
Covalent Counsel Anthony B Cosenza / Carte Carte broșată
common.buy 75.80 lei
Theatre and Museums Susan Bennett / Carte Carte broșată
common.buy 83.20 lei
Reperes Pratiques Guillaume Bernard / Carte Carte broșată
common.buy 86.64 lei
Philosophy of Human Hope J.J. Godfrey / Carte Copertă tare
common.buy 570.50 lei
Interstate Relations in Classical Greece Polly Low / Carte Copertă tare
common.buy 733.06 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo