«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

11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Computer Aided Verification Nicolas Halbwachs
Código Libristo: 05274969
Editores Springer, Berlin, noviembre 1998
This book constitutes the refereed proceedings of the 11th International Conference on Computer Aide... 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

Neurodermitis bewältigen Ulrich Stangier / Libro Tapa blanda
common.buy 56.99 €
Un nuevo comienzo Joel Osteen / Libro Tapa blanda
common.buy 17.89 €
Byłam kochanką arabskich szejków Laila Shukri / Libro Tapa blanda
common.buy 9.89 €
Conférences sur le rideau de Mme Caudle Douglas Jerrold / Libro Tapa blanda
common.buy 17.59 €
No me llames loca Girona / Audiolibro MP3
common.buy 11.89 €
MEGA MALBUCH - 300 SEITEN MIT TOLLEN MOTIVEN - SUPER EINFACH ZEICHNEN LERNEN UND ÜBEN - MIT EINIGEN FARBVORLAGEN Gabriele André / Libro Tapa blanda
common.buy 29.59 €
Necesidades energéticas y propuestas de instalaciones solares Bernabé Jiménez Padilla / Libro Tapa blanda
common.buy 33.79 €
La obra gruesa : unos apuntes de construcción Mañá Reixach / Libro Tapa blanda
common.buy 30.19 €
Herbst David Moody / Libro Tapa blanda
common.buy 15.79 €
Uglavnom su me voljele starije gospođe Aleksandar Stanković / Libro Tapa dura
common.buy 15.29 €
Физико-химические основы развития и тушения пожаров. Учебное пособие Владимир Адамян / Libro Tapa dura
common.buy 34.49 €
Столетняя война Э. Перруа / Libro Tapa dura
common.buy 34.49 €
Diccionario de la lengua española / Libro Tapa blanda
common.buy 9.79 €
SOUL BOSSANOVA CONCERT BAND/HARMONIE -PARTITION+PARTIES SEPAREES QUINCY JONES Libro binding.
common.buy 177.89 €
Aycha ou Le retour d'Elle - roman Haggard Libro Tapa blanda
common.buy 24.89 €
Camden Town - Allgemeine Ausgabe 2012 für Gymnasien. Bd.3 / Libro Hoja
common.buy 10.89 €
Schottische Hochlandrinder bei de Bollekammer (Puzzle) Elke Krone / Juego/Juguete Juego
common.buy 47.89 €
Compraventa y La Permuta Agrarias y Rusticas David Bernardo López Lluch / Libro Tapa blanda
common.buy 28.69 €

This book constitutes the refereed proceedings of the 11th International Conference on Computer Aided Verification, CAV'99, held in Trento, Italy in July 1999 as part of FLoC'99.The 34 revised full papers presented were carefully reviewed and selected from a total of 107 submissions. Also included are six invited contributions and five tool presentations. The book is organized in topical sections on processor verification, protocol verification and testing, infinite state spaces, theory of verification, linear temporal logic, modeling of systems, symbolic model checking, theorem proving, automata-theoretic methods, and abstraction.

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 Nicolas Halbwachs, Doron Peled
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 1999
Número de páginas 506
EAN 9783540662020
ISBN 3540662022
Código Libristo 05274969
Editores Springer, Berlin
Peso 670
Dimensiones 156 x 234 x 26

Categorías

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

Geometry and Analysis on Manifolds Toshikazu Sunada / Libro Tapa blanda
common.buy 39.69 €
Próximamente Nuevo
Spy x Family Broschurkalender 2027 / Calendario/Diario Calendario
common.buy 15.39 €
Literature Lost John M. Ellis / Libro Tapa blanda
common.buy 41.69 €
Within Reason: Rationality and Human Behavior Donald Calne / Libro Tapa blanda
common.buy 19.59 €
100 Families Samuel Willard Crompton / Libro Tapa blanda
common.buy 8.29 €
Memoirs of the Connecticut Academy of Arts & Sciences, Volumes 4-5 University / Libro Tapa dura
common.buy 34.79 €
Word Detective John Simpson / Libro Tapa blanda
common.buy 14.59 €
Life In Its Rawest Form Qiana S Hicks / Libro Tapa blanda
common.buy 14.29 €
Essential Reproduction, 8th Edition Martin H. Johnson / Libro Tapa blanda
common.buy 75.39 €
The Whig Party: A Short-Lived Movement with a Long Legacy In60learning / Libro Tapa blanda
common.buy 8.89 €
Art and Meaning of Magic Israel Regardie / Libro Tapa blanda
common.buy 30.79 €
Ted Bundy: Conversations with a Killer: The Death Row Interviews Volume 1 Stephen G. Michaud / Libro Tapa blanda
common.buy 15.79 €
Tetrastatum Richard / Libro Tapa blanda
common.buy 20.99 €
Colorful Blessings Coloring Book: 20 Colorful Blessing Quote Mandala Coloring Pages For Adults Crystal Coloring Books / Libro Tapa blanda
common.buy 9.89 €
Cold Hands Cool Heart Richard H. Dieckhoff Jr / Libro Tapa blanda
common.buy 14.29 €
Home Thoughts for Mothers and Mother's Meetings (1869) Jane Ellice Hopkins / Libro Tapa blanda
common.buy 23.89 €
Homer, for Beginners. Iliad, Book 1-3, With Engl. Notes by T.K. Arnold Homerus / Libro Tapa dura
common.buy 31.79 €
The Wind in the Willows Kate Hindley / Libro Tapa dura
common.buy 20.49 €
Cease Buzzer!: Life as a U.S. Navy EA-6B Pilot in the Era of Top Gun J.P. Springett / Libro Tapa dura
common.buy 30.89 €
The Wonderful Wizard of Oz Victor Tavares / Libro Tapa dura
common.buy 20.49 €
The Widening of God`s Mercy – Sexuality Within the Biblical Story Christopher B Hays / Libro Tapa dura
common.buy 22.79 €
El Hacho Sean Campbell / Libro electrónico Adobe ePub DRM
common.buy 2.59 €
Adolescent Reputations and Risk Annemaree Carroll / Libro Tapa blanda
common.buy 112.79 €
Queequeg's Coffin Birgit Brander Rasmussen / Libro Tapa blanda
common.buy 35.79 €

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?