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 17.50 lei Urgent Cargus 30.50 lei Easybox 22.50 lei Punct FAN 18.50 lei Punct DPD 19.50 lei Curier DPD 27.50 lei FAN Courier 27.50 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

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 125 b
273.99 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

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 240.58 lei
Einf hrung in Die Sprachheilkunde J. Berendes / Carte Carte broșată
common.buy 269.98 lei
benandanti. Una storia senza tempo Floreana Nativo / Carte Carte broșată
common.buy 93.63 lei
Panorama estratégico, 2006/2007 / Carte Carte broșată
common.buy 46.74 lei
Masters of the Universe - Revelation: Keychain 2-Pack He Man & Skeletor Articole de papetărie Articole de papetărie
common.buy 33.30 lei
Auswirkungen von Bodenbearbeitung und Mulchen auf den Ertrag von Mais Muhammad Ramzan / Carte Carte broșată
common.buy 274.79 lei
Das inoffizielle Wednesday Zeichnen- und Kreativ-Buch Gecko Keck / Carte Carte broșată
common.buy 67.31 lei
300 citations de la philosophie de la Renaissance Machiavel / Audiobook MP3
common.buy 22.46 lei
Lepím si znova - Spidey / Carte Carte broșată
common.buy 31.09 lei
Amis, vacances et petites enqu?tes Sam G / Carte Carte broșată
common.buy 55.27 lei
Eine Liebeserklärung an das Ruhrgebiet Clara Hofmann / Carte Carte broșată
common.buy 51.29 lei
Lehrbuch der Experimentalphysik / Carte Copertă tare
common.buy 499.25 lei
La lucha continúa Tonya Sipes / Carte Carte broșată
common.buy 48.45 lei
Anticuerpos monoclonales : realidades y perspectivas Álvarez-Vallina / Carte Carte broșată
common.buy 249.61 lei
Příběhy z temné komory Günter Grass / Carte Copertă tare
common.buy 50.66 lei
Handbuch der arabischen Dialekte Wolfdietrich Fischer / Carte Carte broșată
common.buy 259.24 lei
Das Geräusch einer Schnecke beim Essen Elisabeth Tova Bailey / Carte Carte broșată
common.buy 67.11 lei
Kärntner Auftragsvergabegesetz Michaela Schabus / Carte Carte broșată
common.buy 159.41 lei
Klassische Boersenstrategien im Test Daniel Ruppert / Carte Carte broșată
common.buy 225.73 lei
Internationale Hölderlin-Bibliographie / 1995-1996. II Materialband Werner P. Sohnle / Carte Copertă tare
common.buy 330.07 lei
Prakticheskij Russkij Yazyk v Situatsiyakh i Illyustratsiyakh G.G. Malyshev / Carte Carte broșată
common.buy 266.97 lei
Werbeagenturen in der Politikvermittlung Simon Marschall / Carte Carte broșată
common.buy 316.93 lei
Santa Biblia/ Holy Bible David Stoop / Carte Carte broșată
common.buy 155.10 lei
Lodz w PRL-u Ewa Niedzwiecka / Carte Copertă tare
common.buy 109.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

Einstürzende Neubauten's Kollaps Jan Nieuwenhuis / Carte Carte broșată
common.buy 113.16 lei
Door Wide Open: A Beat Love Affair in Letters, 1957-1958 Jack Kerouac / Carte Carte broșată
common.buy 131.12 lei
Letter from Point Clear Dennis McFarland / Carte Carte broșată
common.buy 116.87 lei
Embattled Shrine: Jamestown in the Civil War David Riggs / Carte Carte broșată
common.buy 103.73 lei
A Commentary on St. Paul's Second Epistle to the Thessalonians Alfred Plummer / Carte Carte broșată
common.buy 129.23 lei
A Practical Treatise on Diseases of the Skin, for the Use of Students and Practitioners James Nevins Hyde / Carte Carte broșată
common.buy 175.26 lei
Closures – Heterosexuality and the American Sitcom Grace E. Lavery / Carte Carte broșată
common.buy 149.98 lei
Two Saints & a Lot of Us Sinners Tbd / Carte Carte broșată
common.buy 91.49 lei
The Virginia Military Institute: Its Building and Rebuilding (1912) Francis Henney Smith / Carte Copertă tare
common.buy 256.43 lei
Tattoo Flash Colouring Book Megamunden / Carte Carte broșată
common.buy 121.49 lei
This Is the Nest That Robin Built Denise Fleming / Carte Copertă tare
common.buy 91.49 lei
Swinger Collection 1 Terri J Pedersen / Carte Carte broșată
common.buy 58.98 lei
Physics of the Life Sciences Jay Newman / Carte Carte broșată
common.buy 464.61 lei
Handbook of Food Science and Technology 3 - Food Biochemistry and Technology Romain Jeantet / Carte Copertă tare
common.buy 970.37 lei
Dagger John John (The Nightingale-Bamford School) Loughery / Carte Copertă tare
common.buy 146.47 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 169.75 lei
Ten Poems for a Picnic Jacqueline Gabbitas / Carte Carte broșată
common.buy 40.52 lei
Divergence Charles Sheffield / Audiobook MP3
common.buy 110.95 lei
Phenomenology of Pentecostal Leadership Truls Akerlund / Carte Copertă tare
common.buy 206.17 lei
Captivating Kanji: Coloring Book for Adults Featuring Oriental Designs with Japanese Kanji, Eastern Words (Amazing Color Art) Michelle Brubaker / Carte Carte broșată
common.buy 58.98 lei
Teachers Who Love Teaching Teach Children to Love Learning Eve Emelia / Carte Carte broșată
common.buy 43.63 lei
World Regional Geography (International Edition) Lydia Mihelic Pulsipher / E-book Adobe ePub DRM
common.buy 366.99 lei
How to Be a Freelance Solicitor PAUL BENNETT / Carte Carte broșată
common.buy 254.22 lei
Manlihood: The 12 Pillars of Masculinity Kelsey Boudin / Carte Carte broșată
common.buy 84.87 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
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?