«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Model Checking Software

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

Idioma InglésInglés
Libro Tapa blanda
Libro Model Checking Software Corina S. Pasareanu
Código Libristo: 01650022
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, junio 2009
This book constitutes the refereed proceedings of the 16th International SPIN workshop on Model Chec... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Política de devolución de 30 días

Clientes que también han comprado

Comunidad Terapeutica Psicoanalitica de Estructura Multifamiliar oder Escuela de Familia Christina Keim / Libro Tapa blanda
common.buy 47.39 €
Einf hrung in Die Sprachheilkunde J. Berendes / Libro Tapa blanda
common.buy 52.89 €
10 Dinge, die autistische Kinder ihren Eltern sagen möchten Ellen Notbohm / Libro Tapa blanda
common.buy 21.89 €
OEuvres De Moli?re: Les Facheux, Comédie. L'école Des Femmes, Comédie. L'impromptu De Versailles, Comédie Molire / Libro Tapa blanda
common.buy 38.49 €
Azúcar e intervención económica en España Martín Rodríguez / Libro Tapa blanda
common.buy 24.39 €
Panorama estratégico, 2006/2007 / Libro Tapa blanda
common.buy 8.69 €
Fonti normative francescane Roberto Lambertini / Libro Libro
common.buy 93.59 €
benandanti. Una storia senza tempo Floreana Nativo / Libro Tapa blanda
common.buy 12.49 €
Handbuch der arabischen Dialekte Wolfdietrich Fischer / Libro Tapa blanda
common.buy 50.89 €
Santa Biblia/ Holy Bible David Stoop / Libro Tapa blanda
common.buy 28.19 €
Auswirkungen von Bodenbearbeitung und Mulchen auf den Ertrag von Mais Muhammad Ramzan / Libro Tapa blanda
common.buy 54.09 €
Das inoffizielle Wednesday Zeichnen- und Kreativ-Buch Gecko Keck / Libro Tapa blanda
common.buy 13.29 €
Eine Liebeserklärung an das Ruhrgebiet Clara Hofmann / Libro Tapa blanda
common.buy 10.09 €
Lehrbuch der Experimentalphysik / Libro Tapa dura
common.buy 98.19 €
Příběhy z temné komory Günter Grass / Libro Tapa dura
common.buy 10.09 €
Boko Haram : les mots d'une crise Henri Mbarkoutou Mahamat / Libro Tapa blanda
common.buy 19.89 €
Popular
Písanka 2 k Českému jazyku pro 2. ročník / Libro Tapa blanda
common.buy 2.69 €
Monsenor Dupanloup: Episodio De La Historia Contemporanea De 1845 A 1875 (1876) Victor Pelletier / Libro Tapa blanda
common.buy 26.89 €
Anticuerpos monoclonales : realidades y perspectivas Álvarez-Vallina / Libro Tapa blanda
common.buy 45.59 €
Kärntner Auftragsvergabegesetz Michaela Schabus / Libro Tapa blanda
common.buy 31.99 €
Klassische Boersenstrategien im Test Daniel Ruppert / Libro Tapa blanda
common.buy 44.39 €
Hüzünlü Vagonlar Deniz Soganci / Libro Tapa blanda
common.buy 13.29 €
Todesherz Karen Rose / Libro Tapa blanda
common.buy 22.79 €
Políticas focalizadas de transferência de renda: contextos e BARBARA COBO / Libro Libro
common.buy 29.69 €

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.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Model Checking Software
Autor Corina S. Pasareanu
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2009
Número de páginas 297
EAN 9783642026515
ISBN 3642026516
Código Libristo 01650022
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 474
Dimensiones 155 x 235 x 17

Categorías

Computación e informática > Programación informática/desarrollo de software > Ingeniería del software > Pruebas y verificación de software
Computación e informática > Programación informática/desarrollo de software > Compiladores e intérpretes
Computación e informática > Programación informática/desarrollo de software > Lenguajes de programación y extensión/scripting: general
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Teachers Who Love Teaching Teach Children to Love Learning Eve Emelia / Libro Tapa blanda
common.buy 7.99 €
Handbook of Food Science and Technology 3 - Food Biochemistry and Technology Romain Jeantet / Libro Tapa dura
common.buy 175.89 €
Door Wide Open: A Beat Love Affair in Letters, 1957-1958 Jack Kerouac / Libro Tapa blanda
common.buy 23.79 €
Letter from Point Clear Dennis McFarland / Libro Tapa blanda
common.buy 21.19 €
Embattled Shrine: Jamestown in the Civil War David Riggs / Libro Tapa blanda
common.buy 18.89 €
Dagger John John (The Nightingale-Bamford School) Loughery / Libro Tapa dura
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 / Libro Tapa dura
common.buy 30.79 €
Ten Poems for a Picnic Jacqueline Gabbitas / Libro Tapa blanda
common.buy 8.29 €
Phenomenology of Pentecostal Leadership Truls Akerlund / Libro Tapa dura
common.buy 37.39 €
Swann's Way: In Search of Lost Time #1 Proust Marcel / Libro Tapa blanda
common.buy 21.09 €
How to Be a Freelance Solicitor PAUL BENNETT / Libro Tapa blanda
common.buy 52.99 €
Manlihood: The 12 Pillars of Masculinity Kelsey Boudin / Libro Tapa blanda
common.buy 15.39 €
The Last of the Mohicans: Leatherstocking Tales #2 James Fenimore Cooper / Libro Tapa blanda
common.buy 17.39 €
The Virginia Military Institute: Its Building and Rebuilding (1912) Francis Henney Smith / Libro Tapa dura
common.buy 46.49 €
Two Saints & a Lot of Us Sinners Tbd / Libro Tapa blanda
common.buy 19.49 €
Sense and Sensibility Jane Austen / Libro electrónico Adobe ePub DRM
common.buy 9.89 €
World Regional Geography (International Edition) Lydia Mihelic Pulsipher / Libro electrónico Adobe ePub DRM
common.buy 69.89 €
Untold Story Monica Ali / Audiolibro MP3
common.buy 27.79 €
Color for Knowledge Walter the Educator / Libro Tapa blanda
common.buy 20.89 €
Covalent Counsel Anthony B Cosenza / Libro Tapa blanda
common.buy 14.29 €
Theatre and Museums Susan Bennett / Libro Tapa blanda
common.buy 15.59 €
Reperes Pratiques Guillaume Bernard / Libro Tapa blanda
common.buy 16.59 €
Philosophy of Human Hope J.J. Godfrey / Libro Tapa dura
common.buy 112.79 €
Interstate Relations in Classical Greece Polly Low / Libro Tapa dura
common.buy 137.89 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo