«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

16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Computer Aided Verification Rajeev Alur
Código Libristo: 01559563
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, junio 2004
This book constitutes the refereed proceedings of the 16th International Conference on Computer Aide... Descripción completa
? points 276 b
112.79 €
Almacenamiento externo Envío en 5-8 días

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

Clientes que también han comprado

TNM Atlas 7e JD Brierley / Libro Tapa blanda
common.buy 108.79 €
Sleeping Beauty (La Bella Durmiente) Bilingual Eng/Spa / Libro Tapa blanda
common.buy 9.59 €
Nadchodzi III wojna światowa. Czy Ameryka porzuci Polskę na pastwę Rosji? wyd. 2022 Jacek Bartosiak / Libro Tapa dura
common.buy 13.09 €
Cosa Nostra John Dickie / Libro Tapa blanda
common.buy 15.59 €
Próximamente
Praha mapa turistických zajímavostí / Artículos impresos Mapa
common.buy 2.69 €
PALINODIE Giacomo LEOPARDI / Libro Tapa blanda
common.buy 9.79 €
Fêtes et Chansons anciennes de la Chine Marcel Granet / Libro Tapa blanda
common.buy 32.79 €
Maison la plus grande du monde (La) LIONNI / Libro Tapa blanda
common.buy 9.09 €
Adolescence, maltraitance et placement Van Hooland / Libro Tapa blanda
common.buy 21.39 €
Offizielle Softballregeln 2018-2021 Thomas Haller / Libro Tapa blanda
common.buy 8.09 €
Código de insolvencias empresariales Rodriguez Achutegui / Libro Tapa blanda
common.buy 74.89 €
Lebensbeschreibung Der Erzbetrugerin Und Landstorzerin Courasche Hans Jakob Christoph von Grimmelshausen / Libro Tapa blanda
common.buy 12.89 €
Económico
Harry Potter Tvory a netvory Jody Revenson / Libro Tapa dura
common.buy 17.59 €

This book constitutes the refereed proceedings of the 16th International Conference on Computer Aided Verification, CAV 2004, held in Boston, MA, USA, in July 2004.The 32 revised full research papers and 16 tool papers were carefully reviewed and selected from 144 submissions. The papers cover all current issues in computer aided verification and model checking, ranging from foundational and methodological issues to the evaluation of major tools and systems.

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 Rajeev Alur, Doron A. Peled
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2004
Número de páginas 536
EAN 9783540223429
ISBN 3540223428
Código Libristo 01559563
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1700
Dimensiones 155 x 233 x 30

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 > 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
Computación e informática > Ciencias de la computación > Inteligencia artificial
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

Neuroeconomics MARTIN REUTER / Libro Tapa blanda
common.buy 180.29 €
Second Language Teacher Education Diane J. Tedick / Libro Tapa blanda
common.buy 95.89 €
The Numismatic Review and Coin Galleries Fixed Price List; 4n3 Stack's Bowers / Libro Tapa blanda
common.buy 17.09 €
Económico
Pseudoephedrine Sulfate (OTC); A Complete Guide G J Blokdijk / Libro Tapa blanda
common.buy 2.19 €
Chasing Time F I Goldhaber / Libro Tapa blanda
common.buy 11.19 €
Solemn Duty in the Old Guard Mark Joseph Mongilutz / Libro Tapa blanda
common.buy 37.39 €
More Than Words Vernon Logan / Libro Tapa blanda
common.buy 17.79 €
Stories of Animal Sagacity W. H. G. Kingston / Libro Tapa blanda
common.buy 21.79 €
Happiness Andy Cope / Libro Tapa dura
common.buy 17.29 €
Maria The Monarch Homero Aridjis / Libro Tapa blanda
common.buy 14.79 €
Women Who Move Mountains Sue Detweiler / Libro Tapa blanda
common.buy 16.59 €
Church of England - Charity Law and Human Rights Kerry O'Halloran / Libro Tapa blanda
common.buy 112.79 €
Popular
Devil's Reign Zdarsky / Libro Tapa blanda
common.buy 28.49 €
Operatic China D. Lei / Libro Tapa blanda
common.buy 101.49 €
Cuckold Visiting Fellow Adfa Roger (Virginia Military Institute University of New South Wales Virginia Military Institute Virginia Military Institute Virginia / Libro Tapa dura
common.buy 33.69 €
Interest Reconciliation between Aborginal and Non-Aboriginal Communities - Pervasive Challenges to Interest Reconciliation between Aboriginal and Non- Diana Groffen / Libro Tapa blanda
common.buy 53.39 €
Interpretations of Native North American Life Michael S. Nassaney / Libro Tapa blanda
common.buy 30.09 €
Making Schools Different Kitty te Riele / Libro Tapa dura
common.buy 128.29 €
Pure Cute Beverly West / Libro Tapa dura
common.buy 10.59 €
Swahili Grammar and Workbook Fid?le Mpiranya / Libro Tapa blanda
common.buy 87.29 €
Exam Essentials: Cambridge First Practice Tests 1 w/key + DV Charles Osborne / Libro Tapa dura
common.buy 49.79 €
Popular
Grounded George Brant / Libro Tapa blanda
common.buy 18.19 €
Beyond Babar Sandra L. Beckett / Libro electrónico Adobe ePub DRM
common.buy 99.39 €
Próximamente
Virtual Machining Using CAMWorks 2021 Kuang-Hua Chang / Libro Tapa blanda
common.buy 79.99 €

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