«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.

Verification, Model Checking, and Abstract Interpretation

9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Verification, Model Checking, and Abstract Interpretation Francesco Logozzo
Código Libristo: 01569894
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, febrero 2008
This book contains the proceedings of VMCAI 2007. It features current research from the communities... 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

Ergebnisse Der Inneren Medizin Und Kinderheilkunde L. Langstein / Libro Tapa blanda
common.buy 65.69 €
Selbstorganisierende Merkmalskarten zum Lernen von Gesten Andreas Rüter / Libro Tapa blanda
common.buy 52.99 €
FILOSOFIA DE LA CIENCIA EN LA EDUCACION / Libro Libro
common.buy 38.59 €
Kužeľosečky 1 Kružnica I.diel Marián Olejár / Libro Tapa blanda
common.buy 3.49 €
Entwicklungswerttheorie, Entwicklungsökonomie, Menschenökonomie - Eine Programmschrift Rudolf Goldscheid / Libro Tapa blanda
common.buy 24.19 €
L'ORTHODONTIE FONCTIONNELLE Choukroun / Libro Tapa blanda
common.buy 57.89 €
Die Psychologie Descartes'.: Systematisch Und Historisch-Kritisch Anton Koch / Libro Tapa blanda
common.buy 25.69 €
Verordnung über die Berufsausbildung zum Kerzenhersteller und Wachsbildner und zur Kerzenherstellerin und Wachsbildnerin Antiphon Verlag / Libro Tapa blanda
common.buy 11.99 €
Engagementpolitik Thomas Olk / Libro Tapa blanda
common.buy 87.89 €
Geburt der Musik Willy Pastor / Libro Tapa blanda
common.buy 24.69 €
Djinn Jorge Pardo / Audio CD de audio
common.buy 24.99 €
Ränder der Moderne Robert Weimann / Libro Tapa blanda
common.buy 13.69 €

This book contains the proceedings of VMCAI 2007. It features current research from the communities of verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, and advancement of hybrid methods.

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 Verification, Model Checking, and Abstract Interpretation
Autor Francesco Logozzo, Doron A. Peled, Leonore D. Zuck
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2008
Número de páginas 325
EAN 9783540781622
ISBN 3540781625
Código Libristo 01569894
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 522
Dimensiones 155 x 235 x 19

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
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

Electrochemistry IV Eberhard Steckhan / Libro Tapa dura
common.buy 145.49 €
Now the Cats With Jeweled Claws and Other One-Act Plays Tennessee Williams / Libro Tapa blanda
common.buy 16.19 €
Westmorland Alone Ian Sansom / Audiolibro MP3
common.buy 15.09 €
Trump Boom Andrew Puzder / Libro Tapa blanda
common.buy 14.99 €
Leave Me Breathless: A Three Book Set of Hot and Steamy Romances Kristin Daniels / Libro Tapa blanda
common.buy 10.69 €
Jake Wolf Attorney at Law David Shaw / Libro Tapa blanda
common.buy 9.59 €
Truffaut on Cinema Anne Gillain / Libro Tapa blanda
common.buy 37.89 €
Unitt's Canadian Price Guide to Dolls and Toys Peter Unitt / Libro Tapa blanda
common.buy 12.69 €
Guide Book To York Minster F. Harriso / Libro Tapa blanda
common.buy 24.99 €
Prince of Rockport Guy Vanamburg / Libro Tapa blanda
common.buy 20.09 €
Essay on the Progressive Improvement of Mankind. an Oration Delivered in the Chapel of Trinity College, Cambridge, on the Day of Commemoration ... William Lamb Melbourne / Libro Tapa blanda
common.buy 13.29 €
National Flood Insurance Program Cameron O'Kelly / Libro Tapa blanda
common.buy 93.89 €
Cambridge English: First Masterclass: Class Audio CDs Barbara Stewart / Audio CD de audio
common.buy 94.99 €
Neighbors, Strangers, Witches, and Culture-Heroes Susan J Rasmussen / Libro Tapa dura
common.buy 105.79 €
Conceiving Risk, Bearing Responsibility Elizabeth M. Armstrong / Libro Tapa blanda
common.buy 36.69 €
Twentieth-Century Diplomacy John W. Young / Libro Tapa blanda
common.buy 63.09 €
Discover English 3 Učebnice Jayne Wildman / Libro Tapa blanda
common.buy 21.39 €

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
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?