Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Model Checking Software

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Model Checking Software Corina S. Pasareanu
Koda Libristo: 01650022
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, junij 2009
This book constitutes the refereed proceedings of the 16th International SPIN workshop on Model Chec... Celoten opis
? points 118 b
48.91 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Comunidad Terapeutica Psicoanalitica de Estructura Multifamiliar oder Escuela de Familia Christina Keim / Knjiga Mehka
common.buy 40.40 €
Einf hrung in Die Sprachheilkunde J. Berendes / Knjiga Mehka
common.buy 45.67 €
Azúcar e intervención económica en España Martín Rodríguez / Knjiga Mehka
common.buy 23.08 €
Boko Haram : les mots d'une crise Henri Mbarkoutou Mahamat / Knjiga Mehka
common.buy 17.01 €
10 Dinge, die autistische Kinder ihren Eltern sagen möchten Ellen Notbohm / Knjiga Mehka
common.buy 18.63 €
La lucha continúa Tonya Sipes / Knjiga Mehka
common.buy 8.09 €
Panorama estratégico, 2006/2007 / Knjiga Mehka
common.buy 8.19 €
Fonti normative francescane Roberto Lambertini / Knjiga Knjiga
common.buy 80.00 €
benandanti. Una storia senza tempo Floreana Nativo / Knjiga Mehka
common.buy 10.62 €
Auswirkungen von Bodenbearbeitung und Mulchen auf den Ertrag von Mais Muhammad Ramzan / Knjiga Mehka
common.buy 46.18 €
Das inoffizielle Wednesday Zeichnen- und Kreativ-Buch Gecko Keck / Knjiga Mehka
common.buy 11.23 €
Eine Liebeserklärung an das Ruhrgebiet Clara Hofmann / Knjiga Mehka
common.buy 8.60 €
Lehrbuch der Experimentalphysik / Knjiga Trda
common.buy 83.75 €
Santa Biblia/ Holy Bible David Stoop / Knjiga Mehka
common.buy 25.11 €
Příběhy z temné komory Günter Grass / Knjiga Trda
common.buy 8.60 €
Handbuch der arabischen Dialekte Wolfdietrich Fischer / Knjiga Mehka
common.buy 43.85 €
Kärntner Auftragsvergabegesetz Michaela Schabus / Knjiga Mehka
common.buy 27.34 €
Klassische Boersenstrategien im Test Daniel Ruppert / Knjiga Mehka
common.buy 37.87 €
Internationale Hölderlin-Bibliographie / 1995-1996. II Materialband Werner P. Sohnle / Knjiga Trda
common.buy 56.30 €
Prakticheskij Russkij Yazyk v Situatsiyakh i Illyustratsiyakh G.G. Malyshev / Knjiga Mehka
common.buy 44.66 €
Werbeagenturen in der Politikvermittlung Simon Marschall / Knjiga Mehka
common.buy 53.77 €
Top
Písanka 2 k Českému jazyku pro 2. ročník / Knjiga Mehka
common.buy 2.42 €
Lodz w PRL-u Ewa Niedzwiecka / Knjiga Trda
common.buy 18.63 €
Anticuerpos monoclonales : realidades y perspectivas Álvarez-Vallina / Knjiga Mehka
common.buy 43.44 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Model Checking Software
Avtor Corina S. Pasareanu
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2009
Število strani 297
EAN 9783642026515
ISBN 3642026516
Koda Libristo 01650022
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Teža 474
Mere 155 x 235 x 17

Kategorije

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
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

World Regional Geography (International Edition) Lydia Mihelic Pulsipher / E-knjiga Adobe ePub DRM
common.buy 60.46 €
The Last of the Mohicans: Leatherstocking Tales #2 James Fenimore Cooper / Knjiga Mehka
common.buy 15.89 €
Hidden Closet's Book Of Short Stories Arlene R Crenshaw / Knjiga Mehka
common.buy 13.26 €
Covalent Counsel Anthony B Cosenza / Knjiga Mehka
common.buy 12.75 €
Unspeakable Failures of David Foster Wallace Clare Hayes-Brady / Knjiga Trda
common.buy 185.84 €
Handbook of Food Science and Technology 3 - Food Biochemistry and Technology Romain Jeantet / Knjiga Trda
common.buy 161.64 €
Untold Story Monica Ali / Zvočnica MP3
common.buy 23.39 €
Door Wide Open: A Beat Love Affair in Letters, 1957-1958 Jack Kerouac / Knjiga Mehka
common.buy 21.46 €
Letter from Point Clear Dennis McFarland / Knjiga Mehka
common.buy 18.93 €
Embattled Shrine: Jamestown in the Civil War David Riggs / Knjiga Mehka
common.buy 16.80 €
How Many? Cheryl Christian / Knjiga Trda
common.buy 6.98 €
Sense and Sensibility Jane Austen / E-knjiga Adobe ePub DRM
common.buy 8.40 €
Manlihood: The 12 Pillars of Masculinity Kelsey Boudin / Knjiga Mehka
common.buy 14.07 €
Swann's Way: In Search of Lost Time #1 Proust Marcel / Knjiga Mehka
common.buy 19.33 €
Dagger John John (The Nightingale-Bamford School) Loughery / Knjiga Trda
common.buy 23.79 €
Catalogue of Type Specimens of Fossil Fishes in the Field Museum of Natural History Volume Fieldiana, Geology, New Series, No. 23 John Clay Bruner / Knjiga Trda
common.buy 28.35 €
Ten Poems for a Picnic Jacqueline Gabbitas / Knjiga Mehka
common.buy 7.08 €
How to Be a Freelance Solicitor PAUL BENNETT / Knjiga Mehka
common.buy 48.61 €
Phenomenology of Pentecostal Leadership Truls Akerlund / Knjiga Trda
common.buy 33.51 €
Spatial Conservation Prioritization Atte Moilanen / Knjiga Mehka
common.buy 98.44 €
Theatre and Museums Susan Bennett / Knjiga Mehka
common.buy 14.57 €
Reperes Pratiques Guillaume Bernard / Knjiga Mehka
common.buy 15.08 €
Botnets Heli Tiirmaa-Klaar / Knjiga Mehka
common.buy 48.91 €
Color for Knowledge Walter the Educator / Knjiga Mehka
common.buy 19.23 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?