«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

11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Model Checking Software Susanne Graf
Código Libristo: 01559203
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, marzo 2004
This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Chec... Descripción completa
? points 148 b
60.39 €
Almacenamiento externo en pequeñas cantidades Envío en 13-18 días

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

Clientes que también han comprado

Borderline - Tijuana Connection, 1 DVD William A. Seiter / Video DVD
common.buy 14.99 €
Conni & Co 11: Conni, das Kleeblatt und die Pferde am Meer Dagmar Hofeld / Libro electrónico Adobe ePub DRM
common.buy 9.29 €
Próximamente
ALTERNATIVAS DE FINANCIACION PARA EMPRESAS DE REDUCIDA DIMEN FANDOS LOPEZ / Libro Libro
common.buy 66.79 €
?Quién es mi bebé? EDICIONES / Libro Tapa blanda
common.buy 18.29 €
Curiosidades en verso. El cuerpo humano SAGRARIO PINTO / Libro Tapa blanda
common.buy 12.69 €
Knoedelschorsch seine Leckerchen Hans-Georg Karl / Libro Tapa blanda
common.buy 10.99 €
TERRA Erdkunde 3. Ausgabe Niedersachsen Gymnasium / Libro Tapa dura
common.buy 39.59 €
Rafaela McKensey Monika Hoffmann / Libro Tapa blanda
common.buy 8.49 €
Les Fragments Heroiques, Ballet Compose Des Actes d'Ovide Et Julie Fuzelier-L / Libro Tapa blanda
common.buy 15.09 €
Königsblut / Libro Tapa blanda
common.buy 8.49 €

This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Checking Software, SPIN 2004, held in Barcelona, Spain, in April 2004.The 19 revised full papers presented together with the abstracts of an invited talk and 2 tutorials were carefully reviewed and selected from 48 submissions. The papers are organized in topical sections on heuristics and probabilities, improvements of SPIN, validation of timed systems, tool presentations, abstraction and symbolic methods, and applications.

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 Susanne Graf, Laurent Mounier
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2004
Número de páginas 314
EAN 9783540213147
ISBN 3540213147
Código Libristo 01559203
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 493
Dimensiones 155 x 235 x 18

Categorías

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 > Programación informática/desarrollo de software > Ingeniería del software
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
Computación e informática > Sistemas operativos
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

Frontiers in Algorithms D. T. Lee / Libro Tapa blanda
common.buy 60.59 €
Classic Operating Systems Per Brinch Hansen / Libro Tapa dura
common.buy 112.79 €
First Steps: Caro-Kann Defence Andrew Martin / Libro Tapa blanda
common.buy 25.89 €
Gonzalva of Cordova; Or, Grenada Reconquered. Now First Translated from the French of M. Florian. in Three Volumes. ... Volume 2 of 3 Florian / Libro Tapa blanda
common.buy 21.79 €
Obituary Mario Martinez / Libro Tapa dura
common.buy 27.19 €
7 Mindsets to Master Self-Awareness Elizabeth Diamond / Libro Tapa blanda
common.buy 16.89 €
Marble Mountain Bud Willis / Libro Tapa blanda
common.buy 22.29 €
Sanctuary Willa Ford / Libro Tapa dura
common.buy 33.69 €
Can You Stand to Be Blessed Lakiya Broadus / Libro Tapa blanda
common.buy 20.99 €
A Time to Laugh [With Bag] Ben Alex / Libro Tapa dura
common.buy 15.29 €
Patología celular Norman F. Cheville / Libro Tapa blanda
common.buy 41.59 €
Mobile Communications Handbook Jerry D. Gibson / Libro Tapa blanda
common.buy 125.79 €
Eurythmics Eurythmics / Libro Tapa blanda
common.buy 14.99 €
A History of Westbury, Long Island Richard Panchyk / Libro Tapa dura
common.buy 26.59 €
After the World Ended Hannah Lackoff / Libro Tapa blanda
common.buy 15.39 €
Theory of Cryptography Amos Beimel / Libro Tapa blanda
common.buy 56.59 €
Eugenics and Other Evils G. K. Chesterton / Libro Tapa blanda
common.buy 18.29 €
Windows Server 2012 R2 Inside Out Volume 1 William Stanek / Libro electrónico Adobe ePub DRM
common.buy 32.29 €
Methods for Plant Nucleus and Chromatin Studies Célia Baroux / Libro Tapa dura
common.buy 254.09 €
A to Z of Critical Thinking Beth Black / Libro Tapa dura
common.buy 127.19 €
Adobe Creative Suite All-in-One Desk Reference For Dummies Jennifer DeHaan / Libro Tapa blanda
common.buy 33.49 €
Computational Methods for Electron-Molecule Collisions Franco A. Gianturco / Libro Tapa dura
common.buy 169.09 €
Multicriteria Analysis for Land-Use Management E. Beinat / Libro Tapa dura
common.buy 225.39 €
From Divergent Power Series to Analytic Functions Werner Balser / Libro Tapa blanda
common.buy 33.69 €

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