«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

9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Computer Aided Verification Orna Grumberg
Código Libristo: 05274713
Editores Springer, Berlin, noviembre 1996
This book constitutes the strictly refereed proceedings of the 9th International Conference on Compu... Descripción completa
? points 138 b
56.49 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Fem música amb els bum bum, Educació Infantil, 4 anys. Guia Sylvia Dicovskiy Riobóo / Libro Tapa blanda
common.buy 24.99 €
Grande Ou Petite Propriété?: Histoire Des Doctrines En France Sur La Répartition Du Sol Et La Transformation Industrielle De L'agriculture... Michel Augé-Laribé / Libro Tapa dura
common.buy 33.69 €
Handbuch Alzheimer-Krankheit Frank Jessen / Libro electrónico Adobe ePub DRM
common.buy 163.99 €
delitto Ammaturo. Luci e ombre di un mistero irrisolto Pierluigi Larotonda / Libro Tapa blanda
common.buy 27.59 €
Patron Oro Calderon Ivan Calderon / Libro Tapa blanda
common.buy 13.59 €
Halb so wild Antonia Wien / Libro Tapa dura
common.buy 27.79 €
Nasadki na ołówki i kredki 2 sztuki / Audio Audio
common.buy 3.49 €
La lozanía de los inmortales Vera Portocarrero / Libro Tapa blanda
common.buy 20.59 €
Luz Herrera Goya / Libro Tapa blanda
common.buy 11.39 €
Arkham Horror: Lovecraft Letter Zman / Juego/Juguete Juego
common.buy 19.09 €
Rhapsodie pour un Nouveau Monde Bérard / Libro Tapa blanda
common.buy 19.49 €
Rigenerare il nucleo Yash Wadhwani / Libro Tapa blanda
common.buy 83.49 €
Primiracconti Luisa Brisi / Libro Tapa blanda
common.buy 6.09 €
Mathefreunde - Ausgabe Nord 2010 (Berlin, Brandenburg, Mecklenburg-Vorpommern, Sachsen-Anhalt) - 4. Schuljahr Edmund Wallis / Libro Hoja
common.buy 14.49 €
AEsthetik nach Wittgenstein Yves Bossart / Libro Tapa dura
common.buy 189.69 €
zahmen Wilden ... Maria Falkena-Roehrle / Libro Tapa blanda
common.buy 19.89 €
Un éternel prisonnier Dominique Henry / Libro Tapa blanda
common.buy 21.89 €
Mein neuer Musikus - Aktuelle Ausgabe - 1./2. Schuljahr Sonja Hoffmann / Libro Tapa dura
common.buy 24.79 €
Mehrkomponentenvertrage Benedikt Weisser / Libro Tapa blanda
common.buy 37.49 €
Nuove storie d'ogni colore Emilio De Marchi / Libro Tapa blanda
common.buy 14.89 €
Le Monde extérieur Duras / Libro Tapa blanda
common.buy 18.49 €
Oh Tannenbaum, 2 Audio-CDs Sternschnuppe: Sarholz & Meier / Audio CD de audio
common.buy 13.99 €
O composto de produtos e a estrategia de desenvolvimento de produtos Oste Graziano Cremonezi Graziela / Libro Tapa blanda
common.buy 63.89 €
Erdem Degismeye Zorlandiginda Sinirleniyor Harpreet Kaur / Libro Tapa blanda
common.buy 10.09 €

This book constitutes the strictly refereed proceedings of the 9th International Conference on Computer Aided Verification, CAV '97, held in Haifa, Israel, in June 1997.The volume presents 34 revised full papers selected from a total of 84 submissions. Also included are 7 invited contributions as well as 12 tool descriptions. The volume is dedicated to the theory and practice of computer aided formal methods for software and hardware verification, with an emphasis on verification tools and algorithms and the techniques needed for their implementation. The book is a unique record documenting the recent progress in the area.

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 Orna Grumberg
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 1997
Número de páginas 492
EAN 9783540631668
ISBN 3540631666
Código Libristo 05274713
Editores Springer, Berlin
Peso 654
Dimensiones 156 x 234 x 25

Categorías

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

Embedded Software and Systems Man Lin / Libro Tapa blanda
common.buy 119.39 €
Advances in Exception Handling Techniques Alexander Romanovsky / Libro Tapa blanda
common.buy 56.49 €
A Fighting Parson: The Autobiography of Alexander Irvine Alexander Irvine / Libro Tapa blanda
common.buy 32.79 €
The Marauders' Island Tristan J. Tarwater / Libro Tapa blanda
common.buy 15.39 €
A Cook in the Kingdom Daniel Gonzalez / Libro Tapa blanda
common.buy 13.59 €
Finding the Way Home Chris McFarland / Libro Tapa blanda
common.buy 8.89 €
The Lay of Lirazel Stephen R Babb / Libro Tapa blanda
common.buy 13.59 €
Tessili Rogue Robin Stephen / Libro Tapa blanda
common.buy 9.79 €
Edexcel A-level Mathematics Student Book Year 1 and AS Chris Pearce / Libro Tapa blanda
common.buy 37.79 €
Where to Go When The Americas DK / Libro Tapa dura
common.buy 24.59 €
Complete Guide to POI and Early Menopause Dr Mandy Leonhardt / Libro Tapa blanda
common.buy 19.49 €
The Peacock and the Snake Elija K Soi / Libro Tapa blanda
common.buy 16.09 €
Degree Gradation of Verbs Jens Fleischhauer / Libro Tapa blanda
common.buy 43.39 €
Christianity, Islam and Atheism: The Struggle for the Soul of the West William Kilpatrick / Libro Tapa blanda
common.buy 14.99 €
Getting to Grips with BIM Graham Paterson / Libro Tapa blanda
common.buy 80.89 €
Talks James E. Potter / Libro Tapa blanda
common.buy 23.69 €
Aye Aye, Professor Tekyp and Hyperbrits: Vol IV Dr Ana Isabel Ordonez / Libro Tapa blanda
common.buy 12.59 €
A Simplified Interpretation of the Book of Revelation: Based Primarily on Two Modern Revelations Given to Us by Jesus in 1908 Walker Thomas / Libro Tapa blanda
common.buy 24.79 €
Speed of Light and the Simplicity RICHARD CLOUGH / Libro Tapa dura
common.buy 30.89 €
Belief and Evangelism DOUGLAS VICKERS / Libro Tapa dura
common.buy 34.39 €
William Morley Punshon, preacher and orator, 1824-1881: William M. Punshon / Libro Tapa blanda
common.buy 17.79 €
Understanding Mobilities for Designing Contemporary Cities Matteo Colleoni / Libro Tapa blanda
common.buy 112.79 €
Popular
Beginner's Guide to Reading Schematics, Fourth Edition Stan Gibilisco / Libro Anillas de fijación
common.buy 22.79 €
Running the Show Gill / Libro Tapa blanda
common.buy 61.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?