Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

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

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 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

Envío gratis a partir de 69,99 euros.

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer, Berlin
SKU: 05274969
Price: 56.59 EUR
Availability: InStock
Author: Nicolas Halbwachs
ISBN: 9783540662020

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

Nicolas Halbwachs

Doron Peled

Idioma

Inglés

Libro Tapa blanda

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

Código Libristo: 05274969

138 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

Tapa blanda

56.99 €

Conférences sur le rideau de Mme Caudle Douglas Jerrold

Tapa blanda

17.59 €

Un nuevo comienzo Joel Osteen

Tapa blanda

17.89 €

Ertragsteuern Gerd Rose

Tapa blanda

65.89 €

Psychiatrie Psychologie Psychosomatik Psychotherapie Bianca Nechleba

Tapa blanda

11.99 €

No me llames loca Girona

MP3

11.89 €

Die 13 Satanischen Blutlinien Robin de Ruiter

Adobe ePub DRM

15.10 €

Je suis arrivé! Bon, Presque! Dr. Rosie Kuhn

Adobe ePub DRM

11.19 €

Necesidades energéticas y propuestas de instalaciones solares Bernabé Jiménez Padilla

Tapa blanda

33.79 €

Byłam kochanką arabskich szejków Laila Shukri

Tapa blanda

9.39 €

Дракула Брэм Стокер

Tapa dura

22.09 €

MEGA MALBUCH - 300 SEITEN MIT TOLLEN MOTIVEN - SUPER EINFACH ZEICHNEN LERNEN UND ÜBEN - MIT EINIGEN FARBVORLAGEN Gabriele André

Tapa blanda

29.59 €

Mantenimiento del Software, modelos, técnicas y métodos para la gestión del cambio Mario G. Piattini Velthuis

Tapa blanda

26.19 €

La obra gruesa : unos apuntes de construcción Mañá Reixach

Tapa blanda

30.09 €

Regeneración de diferentes tipos de uso del suelo en la Alta Hanta H. M. S. P. Madawala

Tapa blanda

49.21 €

Desserts de princesses (et de princes aussi !) Aurélia Beaupommier

Tapa dura

13.69 €

Der Postbote klingelt immer zweimal James M. Cain

Tapa dura

19.89 €

Chivalry of a Failed Knight 06 Megumu Soramichi

Tapa blanda

7.59 €

Ein Tiefes Geheimnis (Mystery-Krimi) Wilkie Collins

Tapa blanda

13.79 €

Compraventa y La Permuta Agrarias y Rusticas David Bernardo López Lluch

Tapa blanda

113.99 €

Cac vị Đại sư tai sinh Tay Tạng NGUY N MINH TI N

Tapa blanda

12.79 €

Schottische Hochlandrinder bei de Bollekammer (Puzzle) Elke Krone

Juego

47.59 €

Sechster Jahresbericht des Comites für ornithologische Beobachtungsstationen Dalla Torre

Tapa blanda

25.99 €

Camden Town - Allgemeine Ausgabe 2012 für Gymnasien. Bd.3

Hoja

10.79 €

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.