Vérifier l’état de la commande
LIBRISTO
LIBROAMANTO
Obligatoire
Mot de passe oublié
Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement
0
La Poste Autrichienne 5.49 € Coursier DPD 3.99 € Point DPD 2.99 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats

Model Checking Software

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

Langue AnglaisAnglais
Livre Livre de poche
Livre Model Checking Software Corina S. Pasareanu
Code Libristo: 01650022
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, juin 2009
This book constitutes the refereed proceedings of the 16th International SPIN workshop on Model Chec... Description détaillée
? points 132 b
53.79 € TVA incluse
Stockage externe Expédition sous 5-8 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Comunidad Terapeutica Psicoanalitica de Estructura Multifamiliar oder Escuela de Familia Christina Keim / Livre Livre de poche
common.buy 48.00 €
Einf hrung in Die Sprachheilkunde J. Berendes / Livre Livre de poche
common.buy 50.29 €
Eine Liebeserklärung an das Ruhrgebiet Clara Hofmann / Livre Livre de poche
common.buy 9.99 €
Fonti normative francescane Roberto Lambertini / Livre Livre
common.buy 91.89 €
Panorama estratégico, 2006/2007 / Livre Livre de poche
common.buy 9.29 €
Azúcar e intervención económica en España Martín Rodríguez / Livre Livre de poche
common.buy 26.19 €
benandanti. Una storia senza tempo Floreana Nativo / Livre Livre de poche
common.buy 12.29 €
Lehrbuch der Experimentalphysik / Livre Livre relié
common.buy 99.90 €
Das inoffizielle Wednesday Zeichnen- und Kreativ-Buch Gecko Keck / Livre Livre de poche
common.buy 14.00 €
La lucha continúa Tonya Sipes / Livre Livre de poche
common.buy 8.79 €
Auswirkungen von Bodenbearbeitung und Mulchen auf den Ertrag von Mais Muhammad Ramzan / Livre Livre de poche
common.buy 54.90 €
10 Dinge, die autistische Kinder ihren Eltern sagen möchten Ellen Notbohm / Livre Livre de poche
common.buy 23.69 €
Boko Haram : les mots d'une crise Henri Mbarkoutou Mahamat / Livre Livre de poche
common.buy 18.79 €
Lodz w PRL-u Ewa Niedzwiecka / Livre Livre relié
common.buy 22.29 €
Příběhy z temné komory Günter Grass / Livre Livre relié
common.buy 9.89 €
Handbuch der arabischen Dialekte Wolfdietrich Fischer / Livre Livre de poche
common.buy 49.00 €
Das Geräusch einer Schnecke beim Essen Elisabeth Tova Bailey / Livre Livre de poche
common.buy 12.00 €
Kärntner Auftragsvergabegesetz Michaela Schabus / Livre Livre de poche
common.buy 31.49 €
Klassische Boersenstrategien im Test Daniel Ruppert / Livre Livre de poche
common.buy 44.99 €
Internationale Hölderlin-Bibliographie / 1995-1996. II Materialband Werner P. Sohnle / Livre Livre relié
common.buy 64.79 €
Prakticheskij Russkij Yazyk v Situatsiyakh i Illyustratsiyakh G.G. Malyshev / Livre Livre de poche
common.buy 52.49 €
Werbeagenturen in der Politikvermittlung Simon Marschall / Livre Livre de poche
common.buy 62.29 €
Santa Biblia/ Holy Bible David Stoop / Livre Livre de poche
common.buy 28.19 €
Písanka 2 k Českému jazyku pro 2. ročník / Livre Livre de poche
common.buy 2.49 €

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 & Polyglotte
EWA KASP pour
Lire la vidéo
Ewa Kasp
Libristo propose le plus grand choix de littérature étrangère. C’est pour cela que c’est ici que j’achète mes livres.

À propos du livre

Nom complet Model Checking Software
Auteur Corina S. Pasareanu
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2009
Nombre de pages 297
EAN 9783642026515
ISBN 3642026516
Code Libristo 01650022
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 474
Dimensions 155 x 235 x 17

Catégories

Informatique et technologies de l’information > Programmation informatique / génie logiciel > Génie logiciel > Test et vérification de logiciel
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Compilateurs et interpréteurs
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Programmation et langage de script : généralités
Informatique et technologies de l’information > Informatique > Architecture informatique et conception logique
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Ceci pourrait également vous intéresser

Swann's Way: In Search of Lost Time #1 Proust Marcel / Livre Livre de poche
common.buy 21.09 €
Unspeakable Failures of David Foster Wallace Clare Hayes-Brady / Livre Livre relié
common.buy 198.39 €
Handbook of Food Science and Technology 3 - Food Biochemistry and Technology Romain Jeantet / Livre Livre relié
common.buy 175.89 €
Door Wide Open: A Beat Love Affair in Letters, 1957-1958 Jack Kerouac / Livre Livre de poche
common.buy 23.79 €
Letter from Point Clear Dennis McFarland / Livre Livre de poche
common.buy 21.19 €
Embattled Shrine: Jamestown in the Civil War David Riggs / Livre Livre de poche
common.buy 18.89 €
Divergence Charles Sheffield / Livre audio MP3
common.buy 20.99 €
Untold Story Monica Ali / Livre audio MP3
common.buy 27.39 €
World Regional Geography (International Edition) Lydia Mihelic Pulsipher / Livre numérique Adobe ePub DRM
common.buy 69.09 €
Sense and Sensibility Jane Austen / Livre numérique Adobe ePub DRM
common.buy 9.69 €
Tattoo Flash Colouring Book Megamunden / Livre Livre de poche
common.buy 24.79 €
Swinger Collection 1 Terri J Pedersen / Livre Livre de poche
common.buy 10.69 €
Physics of the Life Sciences Jay Newman / Livre Livre de poche
common.buy 91.29 €
Dagger John John (The Nightingale-Bamford School) Loughery / Livre Livre relié
common.buy 26.59 €
Catalogue of Type Specimens of Fossil Fishes in the Field Museum of Natural History Volume Fieldiana, Geology, New Series, No. 23 John Clay Bruner / Livre Livre relié
common.buy 30.79 €
Ten Poems for a Picnic Jacqueline Gabbitas / Livre Livre de poche
common.buy 7.99 €
Phenomenology of Pentecostal Leadership Truls Akerlund / Livre Livre relié
common.buy 37.39 €
Captivating Kanji: Coloring Book for Adults Featuring Oriental Designs with Japanese Kanji, Eastern Words (Amazing Color Art) Michelle Brubaker / Livre Livre de poche
common.buy 10.69 €
Teachers Who Love Teaching Teach Children to Love Learning Eve Emelia / Livre Livre de poche
common.buy 7.99 €
How to Be a Freelance Solicitor PAUL BENNETT / Livre Livre de poche
common.buy 52.99 €
Manlihood: The 12 Pillars of Masculinity Kelsey Boudin / Livre Livre de poche
common.buy 15.39 €
The Last of the Mohicans: Leatherstocking Tales #2 James Fenimore Cooper / Livre Livre de poche
common.buy 17.39 €
The Virginia Military Institute: Its Building and Rebuilding (1912) Francis Henney Smith / Livre Livre relié
common.buy 46.49 €
Two Saints & a Lot of Us Sinners Tbd / Livre Livre de poche
common.buy 19.49 €

Connexion

Connectez-vous à votre compte. Vous n'avez pas encore de compte Libristo ? Créez-en un maintenant !

 
Obligatoire
Obligatoire
Mot de passe oublié

Vous n'avez pas encore de compte ? Découvrez les avantages d’avoir un compte Libristo !

Avec un compte Libristo, vous aurez tout sous contrôle.

Créer un compte Libristo
Conseiller littéraire Libroamiko
Bonjour, je suis Libroamiko, puis-je vous aider ?