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

Computer Aided Verification

7th International Conference, CAV '95, Liege, Belgium, July 3-5, 1995. Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Computer Aided Verification Pierre Wolper
Código Libristo: 05274476
Editores Springer, Berlin, noviembre 1994
This volume contains the proceedings of the 7th International Conference on Computer Aided Verificat... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Controla Tú Vida Comiendo Sano: Conoce la armonía de comer bien y tener control de tu vida Ivan Garcia / Libro Tapa blanda
common.buy 7.99 €
Cronicando COUTO / Libro Tapa blanda
common.buy 22.99 €
L'Olimpia Giambattista della Porta / Libro Tapa dura
common.buy 19.79 €
notti chiare Carlotta Cubeddu / Libro Tapa dura
common.buy 18.89 €
Manager pour apprendre SHOOK / Libro Tapa blanda
common.buy 45.79 €
Le Parc Naturel Régional du Morvan à pied collegium / Libro Tapa blanda
common.buy 22.39 €
Papiermache Figuren selbst gebaut Anke Redhead / Libro Tapa blanda
common.buy 14.49 €
Les Fables de La Fontaine - Livre 1-2-3-4 Jean De La Fontaine / Libro Tapa blanda
common.buy 22.79 €
Lebensversicherungsvertrage A Kaindl / Libro Tapa blanda
common.buy 10.09 €
Der kleine Drache Kokosnuss kommt in die Schule, 1 Audio-CD Ingo Siegner / Audio CD de audio
common.buy 9.59 €
Die Kunst des Zweifelns Andreas U. Sommer / Libro Tapa blanda
common.buy 11.49 €
Businessplan als Voraussetzung zur Finanzierung von Existenzgrundern Antje Walliser / Libro Tapa blanda
common.buy 27.69 €
Panorama della letteratura italiana: Dae origini ai giorni nostri Ciro Roselli / Libro Tapa blanda
common.buy 20.09 €
Grain EP ZS / Audio CD de audio
common.buy 15.19 €

This volume contains the proceedings of the 7th International Conference on Computer Aided Verification. The papers included range from theoretical issues to concrete applications with a certain emphasis on verification tools and the algorithms and techniques needed for their implementations.

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 Computer Aided Verification
Autor Pierre Wolper
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 1995
Número de páginas 456
EAN 9783540600459
ISBN 3540600450
Código Libristo 05274476
Editores Springer, Berlin
Peso 622
Dimensiones 156 x 234 x 23

Categorías

Computación e informática > Ciencias de la computación > Inteligencia artificial > Sistemas expertos/sistemas basados en el conocimiento
Tecnología, ingeniería, agricultura, procedimientos industriales > Ingeniería electrónica y de las comunicaciones > Ingeniería electrónica
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 > Teoría matemática de la computación
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

Meat me: The end of a new beginning Sharon Ann De Jong / Libro Tapa blanda
common.buy 13.59 €
Adaptive Coding and Modulation Romana Rafi / Libro Tapa blanda
common.buy 53.39 €
TISSUE BANKS: IS THE FEDERAL GOVERNMENT'S OVERSIGHT ADEQUATE? United States Congress Senate Committee / Libro Tapa blanda
common.buy 28.69 €
Science of Mother-Infant Sleep: Current Findings on Bedsharing, Breastfeeding, Sleep Training, and Normal Infant Sleep Wendy Middlemiss / Libro Tapa blanda
common.buy 16.29 €
Psychotraumatology George S. Everly Jr. / Libro Tapa blanda
common.buy 225.39 €
Blake's Reading Log Martha Day Zschock / Libro Tapa blanda
common.buy 8.79 €
Jane Butel's Simply Southwestern Jane Butel / Libro Tapa dura
common.buy 28.19 €
Advances in Systems Biology Igor Goryanin / Libro Tapa blanda
common.buy 225.39 €
My First Encyclopedia of Trees (giant Size) Richard McGinlay / Libro Tapa blanda
common.buy 5.99 €
Easy Ukulele Songs Rebecca Bogart / Libro Tapa blanda
common.buy 10.69 €
Farmer's Magazine Anonymous / Libro Tapa dura
common.buy 41.59 €
World's Divide Books 1-4 Collection Ryan Eugene Hartung / Libro Tapa blanda
common.buy 13.39 €
Sacred Hymns and Spiritual Songs Anonym / Libro Tapa blanda
common.buy 31.49 €
The Administration Of Iowa: A Study In Centralization, Issues 46-48 Harold Martin Bowman / Libro Tapa blanda
common.buy 35.79 €
Theory and New Applications of Swarm Intelligence Rafael Parpinelli / Libro Tapa dura
common.buy 126.69 €
Now You Know Royalty Doug Lennox / Libro electrónico Adobe ePub DRM
common.buy 5.99 €
I Am A Key Larry Odell Johnson / Libro Tapa blanda
common.buy 13.19 €
Metropolitan Poor Vol 5 Masaie Matsumura / Libro Tapa dura
common.buy 153.39 €
Diffusion and Use of Genomic Innovations in Health and Medicine Roundtable on Translating Genomic-Based Research for Health / Libro Tapa blanda
common.buy 63.69 €
Crisis of Gender and the Nation in Korean Literature and Cinema Kelly Y. Jeong / Libro Tapa dura
common.buy 134.29 €
Perspectives on U.S. Policy Toward North Korea Sharon Richardson / Libro Tapa blanda
common.buy 67.29 €
Archive Stories Antoinette Burton / Libro Tapa dura
common.buy 150.59 €
Control of Uncertain Systems: Modelling, Approximation, and Design Bruce A. Francis / Libro Tapa blanda
common.buy 169.09 €
Between Resource Plenty and State Failure Christoph Vogel / Libro Tapa blanda
common.buy 18.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
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?