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

Automated Technology for Verification and Analysis

4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Automated Technology for Verification and Analysis Susanne Graf
Código Libristo: 01564910
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, octubre 2006
This book constitutes the refereed proceedings of the Third International Symposium on Automated Tec... 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

Reise Know-How Wohnmobil-Tourguide Südtirol mit Gardasee Michael Moll / Libro Tapa blanda
common.buy 24.69 €
Tragizm polityki naszych czasów. Strach, fatum i brzemię władzy Robert D. Kaplan / Libro Tapa blanda
common.buy 12.59 €
Terror In Taos Chet Cunningham Audiolibro MP3
common.buy 26.79 €
Révélations Galactiques Tome 2 - Sortir de la matrice Givaudan / Libro Tapa blanda
common.buy 22.69 €
Familienplaner 2026 - In Gedanken auf den Seychellen mit 5 Spalten (Wandkalender, 21 x 45 cm) CALVENDO Calvendo / Calendario/Diario Calendario
common.buy 21.69 €
Wiedergutmachung der Sünden Natasha Knight / Libro Tapa blanda
common.buy 16.39 €
Kuroko's Basketball Season 2 Vol.1 (Blu-ray) / Video Blu-ray
common.buy 66.09 €
Preparation A La Mort. 9e Edition Jean Crasset / Libro Tapa blanda
common.buy 18.09 €
Gesammelte Schriften: Die Grundung Prags: Ein Historisch-Romantisches Drama Clemens Brentano / Libro Tapa blanda
common.buy 30.29 €
August Schneegans, 1835-1898: Memoiren Ein Beitrag Zur Geschichte Des Elsasses in Der Ubergangszeit (1904) August Schneegans / Libro Tapa blanda
common.buy 41.59 €
Viage De Espa?a, Volume 2 Antonio Ponz / Libro Tapa blanda
common.buy 28.79 €
EL LLIBRE QUE ES MOU ANNE-SOPHIE BAUMANN / Libro Tapa dura
common.buy 14.09 €
Kellarissa tuulee P IVIKKI IIVARI / Libro Tapa blanda
common.buy 9.99 €
Amor fou MARTA SANZ / Libro Tapa blanda
common.buy 28.29 €
Almanach českých šlechtických a rytířských rodů 2028 Karel Vavřínek / Libro Hoja
common.buy 8.29 €
Dictionnaire Historique de l'Ancien Langage Francois.Tome IV. Chie-Deca De Sainte-Palaye-J-B / Libro Tapa blanda
common.buy 33.79 €
16 Romantische Welterfolge, 1 Audio-CD arious / Audio CD de audio
common.buy 11.89 €

This book constitutes the refereed proceedings of the Third International Symposium on Automated Technology for Verification and Analysis, ATVA 2006, held in Beijing, China in October 2006.§The 35 revised full papers presented together with abstracts of three keynote papers were carefully reviewed and selected from 137 submissions.

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 Automated Technology for Verification and Analysis
Autor Susanne Graf, Wenhui Zhang
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2006
Número de páginas 546
EAN 9783540472377
ISBN 3540472371
Código Libristo 01564910
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1710
Dimensiones 155 x 235 x 30

Categorías

Computación e informática > Ciencias de la computación > Inteligencia artificial > Sistemas expertos/sistemas basados en el conocimiento
Computación e informática > Aplicaciones gráficas y multimedia > Diseño asistido por ordenador (CAD)
Computación e informática > Hardware (o soporte físico del ordenador) > Hardware de redes
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 > Arquitectura y diseño lógico de ordenadores
Computación e informática > Redes y comunicaciones informáticas
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

Guillaume Michael Arno Bender / Libro Tapa blanda
common.buy 24.79 €
The Supplies of Room Nine Learn to Shine Jessica Lewis / Libro Tapa dura
common.buy 15.79 €
All His Spies Stephen Alford / Libro Tapa dura
common.buy 36.99 €
Popular
Anne of Ingleside L M Montgomery / Libro Tapa blanda
common.buy 12.69 €
The Ash Beneath My Feet Lucia Fudge / Libro Tapa blanda
common.buy 10.59 €
Homemade Bath Bombs and Bubble Baths: Simple to Make DIY Bath Bomb and Bubble Bath Recipes Josephine Simon / Libro Tapa blanda
common.buy 10.89 €
Nowhere to Hide R. SAMUEL BATY / Libro Tapa blanda
common.buy 9.59 €
Quicksilver War: Syria, Iraq and the Spiral of Conflict William Harris / Libro Tapa dura
common.buy 35.19 €
Enigma En El Laberinto De Maiz Pedro Tena Tena / Libro Tapa blanda
common.buy 15.99 €
Were- Patricia Bray / Libro Tapa blanda
common.buy 16.39 €
DBT Therapy Workbook for Teens & Parents Kardas Publishig / Libro Tapa blanda
common.buy 19.99 €
Popular
My Hero Academia: Smash!!, Vol. 5 Kohei Horikoshi / Libro Tapa blanda
common.buy 9.39 €
Adobe Photoshop Lightroom Classic Classroom in a Book (2022 release) Rafael Concepcion / Libro Tapa blanda
common.buy 58.99 €
Antiklotzius (1762) Pieter Burman / Libro Tapa blanda
common.buy 25.89 €
What's Wrong with the World G. K. Chesterson / Libro Tapa dura
common.buy 16.49 €
HCG-DIET; What Dr. Simeons Really Said Susan Margret Wimmer / Libro Tapa blanda
common.buy 24.79 €
Change and Progress in Modern Science Joseph C. Pitt / Libro Tapa dura
common.buy 181.49 €
Perfect Imperfect MCCARTNEY KAREN / Libro Tapa dura
common.buy 40.29 €
Beyond the Lettered City Joanne Rappaport / Libro Tapa blanda
common.buy 49.79 €
Due Diligence for Global Deal Making - The Definitive Guide to Cross-Border Mergers and Acquisitions, Joint Ventures, Financings, and Stra Rosenbloom / Libro Tapa dura
common.buy 70.59 €
Popular
Harry Potter and the Goblet of Fire (Harry Potter, Book 4) (Interactive Illustrated Edition) Joanne K. Rowling / Libro Tapa dura
common.buy 39.69 €
Próximamente
Dance of the Sleepwalkers Calabria / Libro Tapa dura
common.buy 47.19 €
Próximamente
THE WAY OF JESUS Rebecca Pippert / Libro Tapa blanda
common.buy 10.39 €
Bring Your Vision To Life Ralph McCall / Libro Tapa blanda
common.buy 9.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