Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Model Checking Software

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Model Checking Software Corina S. Pasareanu
Libristo-code: 01650022
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, juni 2009
This book constitutes the refereed proceedings of the 16th International SPIN workshop on Model Chec... Volledige beschrijving
? points 125 b
51.70 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Comunidad Terapeutica Psicoanalitica de Estructura Multifamiliar oder Escuela de Familia Christina Keim / Boek Gebonden (paperback)
common.buy 42.90 €
Einf hrung in Die Sprachheilkunde J. Berendes / Boek Gebonden (paperback)
common.buy 48.36 €
Eine Liebeserklärung an das Ruhrgebiet Clara Hofmann / Boek Gebonden (paperback)
common.buy 9.10 €
Fonti normative francescane Roberto Lambertini / Boek Boek
common.buy 88.54 €
Panorama estratégico, 2006/2007 / Boek Gebonden (paperback)
common.buy 8.09 €
Azúcar e intervención económica en España Martín Rodríguez / Boek Gebonden (paperback)
common.buy 23.06 €
benandanti. Una storia senza tempo Floreana Nativo / Boek Gebonden (paperback)
common.buy 11.83 €
Lehrbuch der Experimentalphysik / Boek Gebonden (harde band)
common.buy 88.84 €
Das inoffizielle Wednesday Zeichnen- und Kreativ-Buch Gecko Keck / Boek Gebonden (paperback)
common.buy 11.93 €
La lucha continúa Tonya Sipes / Boek Gebonden (paperback)
common.buy 8.49 €
Auswirkungen von Bodenbearbeitung und Mulchen auf den Ertrag von Mais Muhammad Ramzan / Boek Gebonden (paperback)
common.buy 48.97 €
10 Dinge, die autistische Kinder ihren Eltern sagen möchten Ellen Notbohm / Boek Gebonden (paperback)
common.buy 19.72 €
Boko Haram : les mots d'une crise Henri Mbarkoutou Mahamat / Boek Gebonden (paperback)
common.buy 18.00 €
Lodz w PRL-u Ewa Niedzwiecka / Boek Gebonden (harde band)
common.buy 20.74 €
Příběhy z temné komory Günter Grass / Boek Gebonden (harde band)
common.buy 9.50 €
Handbuch der arabischen Dialekte Wolfdietrich Fischer / Boek Gebonden (paperback)
common.buy 46.34 €
Das Geräusch einer Schnecke beim Essen Elisabeth Tova Bailey / Boek Gebonden (paperback)
common.buy 10.92 €
Kärntner Auftragsvergabegesetz Michaela Schabus / Boek Gebonden (paperback)
common.buy 31.77 €
Klassische Boersenstrategien im Test Daniel Ruppert / Boek Gebonden (paperback)
common.buy 40.17 €
Internationale Hölderlin-Bibliographie / 1995-1996. II Materialband Werner P. Sohnle / Boek Gebonden (harde band)
common.buy 65.57 €
Prakticheskij Russkij Yazyk v Situatsiyakh i Illyustratsiyakh G.G. Malyshev / Boek Gebonden (paperback)
common.buy 53.12 €
Werbeagenturen in der Politikvermittlung Simon Marschall / Boek Gebonden (paperback)
common.buy 63.04 €
Santa Biblia/ Holy Bible David Stoop / Boek Gebonden (paperback)
common.buy 26.81 €
Wordt verwacht
Písanka 2 k Českému jazyku pro 2. ročník / Boek Gebonden (paperback)
common.buy 2.52 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Model Checking Software
Auteur Corina S. Pasareanu
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2009
Aantal pagina's 297
EAN 9783642026515
ISBN 3642026516
Libristo-code 01650022
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 474
Afmetingen 155 x 235 x 17

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling > Softwaretesten en softwareverificatie
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Swann's Way: In Search of Lost Time #1 Proust Marcel / Boek Gebonden (paperback)
common.buy 20.33 €
Unspeakable Failures of David Foster Wallace Clare Hayes-Brady / Boek Gebonden (harde band)
common.buy 191.66 €
Handbook of Food Science and Technology 3 - Food Biochemistry and Technology Romain Jeantet / Boek Gebonden (harde band)
common.buy 169.80 €
Door Wide Open: A Beat Love Affair in Letters, 1957-1958 Jack Kerouac / Boek Gebonden (paperback)
common.buy 22.76 €
Letter from Point Clear Dennis McFarland / Boek Gebonden (paperback)
common.buy 20.23 €
Embattled Shrine: Jamestown in the Civil War David Riggs / Boek Gebonden (paperback)
common.buy 17.90 €
Divergence Charles Sheffield / Luisterboek MP3
common.buy 20.43 €
Untold Story Monica Ali / Luisterboek MP3
common.buy 26.61 €
World Regional Geography (International Edition) Lydia Mihelic Pulsipher / E-book Adobe ePub DRM
common.buy 67.59 €
Sense and Sensibility Jane Austen / E-book Adobe ePub DRM
common.buy 9.30 €
Tattoo Flash Colouring Book Megamunden / Boek Gebonden (paperback)
common.buy 23.97 €
Swinger Collection 1 Terri J Pedersen / Boek Gebonden (paperback)
common.buy 10.31 €
Physics of the Life Sciences Jay Newman / Boek Gebonden (paperback)
common.buy 87.63 €
Dagger John John (The Nightingale-Bamford School) Loughery / Boek Gebonden (harde band)
common.buy 25.29 €
Catalogue of Type Specimens of Fossil Fishes in the Field Museum of Natural History Volume Fieldiana, Geology, New Series, No. 23 John Clay Bruner / Boek Gebonden (harde band)
common.buy 29.74 €
Ten Poems for a Picnic Jacqueline Gabbitas / Boek Gebonden (paperback)
common.buy 8.09 €
Phenomenology of Pentecostal Leadership Truls Akerlund / Boek Gebonden (harde band)
common.buy 35.61 €
Captivating Kanji: Coloring Book for Adults Featuring Oriental Designs with Japanese Kanji, Eastern Words (Amazing Color Art) Michelle Brubaker / Boek Gebonden (paperback)
common.buy 10.31 €
Teachers Who Love Teaching Teach Children to Love Learning Eve Emelia / Boek Gebonden (paperback)
common.buy 7.68 €
How to Be a Freelance Solicitor PAUL BENNETT / Boek Gebonden (paperback)
common.buy 51.10 €
Manlihood: The 12 Pillars of Masculinity Kelsey Boudin / Boek Gebonden (paperback)
common.buy 14.87 €
The Last of the Mohicans: Leatherstocking Tales #2 James Fenimore Cooper / Boek Gebonden (paperback)
common.buy 16.79 €
The Virginia Military Institute: Its Building and Rebuilding (1912) Francis Henney Smith / Boek Gebonden (harde band)
common.buy 44.92 €
Two Saints & a Lot of Us Sinners Tbd / Boek Gebonden (paperback)
common.buy 19.02 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?