«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

12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Computer Aided Verification E. Allen Emerson
Código Libristo: 01567506
Editores Springer, Berlin, noviembre 1999
This book constitutes the refereed proceedings of the 12th International Conference on Computer Aide... Descripción completa
? points 290 b
118.29 €
Almacenamiento externo en pequeñas cantidades Envío en 13-18 días

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

Clientes que también han comprado

Pokémon: Mein großer Pokémon-Block Panini / Libro Tapa blanda
common.buy 9.79 €
600 Primeras Palabras Más Usadas Tarjetas Bebe Bilingüe Vocabulario Espa?ol Portugués Libro Infantiles Para Ni?os: Aprender imaginario diccionario bás Lenguaje Preparacion / Libro Tapa blanda
common.buy 13.59 €
Der Grundsatz der Verhältnismäßigkeit in der Rechtsprechung des Gerichtshofs der Europäischen Gemeinschaften. Oliver Koch / Libro Tapa blanda
common.buy 144.59 €
SPIDER-MAN. 5 MINUTOS PARA SOÑAR MARVEL / Libro Libro
common.buy 12.19 €
Las celdas de mi cuerpo Rivero / Libro Tapa blanda
common.buy 4.69 €
BIDAIA SANNA / Libro Tapa dura
common.buy 23.89 €
Principes d'analyse fonctionnelle WILLEM / Libro Tapa blanda
common.buy 36.99 €
Le Livre des merveilles du monde Polo / Libro Tapa blanda
common.buy 4.49 €
Phi Phi Island Josef Haslinger / Libro Tapa blanda
common.buy 14.99 €
Vogesen Curt Mundel / Libro Tapa blanda
common.buy 63.89 €
Standards der OP-Patientenlagerung Sadik Duru / Libro Tapa blanda
common.buy 72.49 €
Ruckkehr Der Zeitmaschine Egon Friedell / Libro Tapa dura
common.buy 24.69 €
LES SOEURS DE PRAGUE J. Garcin / Libro Tapa blanda
common.buy 11.59 €
Einfuhrung von Hedge Fonds in Deutschland vor dem Hintergrund des Investmentmodernisierungsgesetzes 2004 und der Entwicklung des Fondswesens Susanne Steimel / Libro Tapa blanda
common.buy 72.79 €

This book constitutes the refereed proceedings of the 12th International Conference on Computer Aided Verification, CAV 2000, held in Chicago, IL, USA in July 2000.§The 35 revised full papers presented together with 9 tool papers were carefully reviewed and selected from 91 submissions. The papers address all current aspects of the theory and practice of formal methods for hardware and software verification. Emphasis is given to verification algorithms, methods, and tools and their implementation.

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 E. Allen Emerson, A. Prasad Sistla
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2000
Número de páginas 590
EAN 9783540677703
ISBN 3540677704
Código Libristo 01567506
Editores Springer, Berlin
Peso 894
Dimensiones 155 x 235 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 > 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
Medicina, enfermería, veterinaria > Medicina: cuestiones generales
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

German Influence on Australian English Markus Bieswanger / Libro Tapa blanda
common.buy 49.59 €
A Woman Loved Andre Makine / Libro Tapa blanda
common.buy 13.99 €
Popular
OUR LAST CRUSADE SECRET FILE V03 LN V03 / Libro Tapa blanda
common.buy 19.29 €
Cocaine and Rhinestones Wayne White / Libro Tapa dura
common.buy 28.19 €
Anatomy of the Abyss: The Neophyte's Compendium Dusan Trajkovic / Libro Tapa blanda
common.buy 18.09 €
Amanda Grows Up: A Novel of Love and Sex Kathryn M Burke / Libro Tapa blanda
common.buy 10.69 €
The Haskalah Movement in Russia: Jewish Classics Jacob S Raison Ph D / Libro Tapa blanda
common.buy 9.79 €
Power System Dynamics and Stability - With Synchrophasor Measurement and Power System Toolbox 2e Peter W. Sauer / Libro Tapa dura
common.buy 132.59 €
Mountain Man's Dog Gary Corbin / Libro Tapa dura
common.buy 19.69 €
Patriarchs, Prophets and Other Villains Lisa Isherwood / Libro Tapa blanda
common.buy 81.39 €
Consciousness Of The Atom Alice a Bailey / Libro Tapa blanda
common.buy 15.49 €
Misguided Obsessions Dinah Walker / Libro Tapa blanda
common.buy 20.99 €
Playwriting Effiong Johnson / Libro Tapa dura
common.buy 33.69 €
Dime 1st Edition Student's Book 1 with Audio CD Malva Lewis / Libro binding.
common.buy 15.09 €
Ephesians Frank S. Thielman / Libro Tapa dura
common.buy 46.19 €
Inner Grace Phillip Cary / Libro Tapa dura
common.buy 93.49 €
Embryos under the Microscope Jane Maienschein / Libro Tapa dura
common.buy 50.49 €
Get Going with Kindle Fire in Easy Steps Nick Vandome / Libro Tapa blanda
common.buy 10.79 €
Nanostructured Materials Preparation via Condensation Ways Anatolii D. Pomogailo / Libro Tapa dura
common.buy 112.79 €
Plant Toxin Analysis Hans F. Linskens / Libro Tapa dura
common.buy 220.99 €
Small Bodies in Planetary Systems I. Mann / Libro Tapa dura
common.buy 56.59 €

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