«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

7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Automated Technology for Verification and Analysis Zhiming Liu
Código Libristo: 01650641
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, septiembre 2009
This book constitutes the proceedings of the 7th International Symposium on Automated Technology for... 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

Vitae Paparum Avenionensium V3 (1921) Etienne Baluze / Libro Tapa blanda
common.buy 45.59 €
#dkinfografik. Management einfach erklärt Alexandra Black / Libro Tapa dura
common.buy 18.79 €
Ouroboros Joel Gissy / Libro Tapa blanda
common.buy 7.39 €
uomo blu e le rose. Antoine de Saint-Exupéry ad Alghero Savina Dolores Massa / Libro Tapa dura
common.buy 32.79 €
Próximamente
Adventní kalendář – Minecraft / Libro Tapa dura
common.buy 27.09 €
The Call of the Wild (Spanish Edition) / La llamada de lo Salvaje Jack London / Libro Tapa dura
common.buy 13.69 €
Le Petit livre des proverbes, 2e éd. Sylvie H. Brunet / Libro Tapa blanda
common.buy 6.29 €
Пересвет Виктор Поротников / Libro Tapa dura
common.buy 18.29 €
Nuevo
Arcobaleni Yasunari Kawabata / Libro Tapa blanda
common.buy 16.59 €
Serie estampar con selllos nº 1. CREAR ORIGINALES SELLOS CON TACOS DE MADERA Y G HEIKE ROLAND / Libro Tapa blanda
common.buy 6.99 €
Graues Meer und blaue Sonnen Nathan Jaeger / Libro Tapa blanda
common.buy 12.79 €
Terradentro XOSE BENITO REZA / Libro Tapa blanda
common.buy 23.79 €
Musik-Stars - Grundwissen 3./4. Schuljahr - Übungsheft mit Lösungen und Audio-CD Solveig Wezel / Libro Tapa blanda
common.buy 13.39 €
Popular
Obrázková němčina 5 jídlo Petr Kupka / Libro Libro
common.buy 0.99 €
Inklusion und Exklusion in der Sozialen Arbeit Roland Merten / Libro Tapa blanda
common.buy 68.69 €
Contemporary Sculpture II : worked stone Inez Gitzinger-Albrecht / Libro Tapa blanda
common.buy 30.59 €
Mito del Trabajo En Equipo Eugenio Ramírez / Libro Tapa blanda
common.buy 58.09 €
(ADHS) bei arabischen Kindern im Grundschulalter in Berlin Hanan Lattouf / Libro Tapa blanda
common.buy 68.79 €
Kooperation in Der Erwachsenenbildung: Determinanten, Auspr gungen Und Leistung Elvira Helmer / Libro Tapa blanda
common.buy 58.09 €
Hindi-Großstadtgeschichten, m. MP3-CD Hannelore Lötzke / Libro Tapa blanda
common.buy 20.89 €
Georgische Verbtabellen Steffi Chotiwari-Jünger / Libro Tapa blanda
common.buy 23.89 €
La femme de trente ans./Die Drau von dreissig Jahren. German Honoré de Balzac / Libro Tapa dura
common.buy 22.79 €
Matematika pro 5. ročník ZŠ 2.díl Jaroslava Justová / Libro Tapa blanda
common.buy 3.09 €

This book constitutes the proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, held in Macao, China, in October 2009. §The 23 regular papers and 3 took papers presented together with 3 invited talks, were carefully reviewed and selected from 74 research papers and 10 tool papers submissions. §The papers are organized in topical sections on state space reduction, tools, probabilistic systems, medley, temporal logic, abstraction and refinement, and fault tolerant 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 Automated Technology for Verification and Analysis
Autor Zhiming Liu, Anders P. Ravn
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2009
Número de páginas 414
EAN 9783642047602
ISBN 3642047602
Código Libristo 01650641
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 652
Dimensiones 155 x 235 x 24

Categorías

Computación e informática > Programación informática/desarrollo de software > Algoritmos y estructuras de datos
Computación e informática > Programación informática/desarrollo de software > Compiladores e intérpretes
Computación e informática > Programación informática/desarrollo de software > Lenguajes de programación y extensión/scripting: general
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
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

Decision Making in Radiation Oncology Jiade J. Lu / Libro Tapa dura
common.buy 254.19 €
Design Characteristics of Virtual Learning Environments Daniel Müller / Libro Tapa blanda
common.buy 56.59 €
SUPERCLASS David Rothkopf / Libro Tapa blanda
common.buy 23.49 €
Próximamente
Bosnia's Paralysed Peace Christopher Bennett / Libro Tapa blanda
common.buy 27.09 €
Cone Penetration Testing in Geotechnical Practice P.K. Robertson / Libro Tapa dura
common.buy 574.29 €
Security, Development and the Fragile State Yiagadeesen Samy / Libro Tapa dura
common.buy 250.59 €
Defiance: Fall of an Empire Tom Ryker / Libro Tapa blanda
common.buy 19.09 €
Price Behaviour of Major Crops in Bangladesh: An Empirical Analysis Shakila Salam / Libro Tapa blanda
common.buy 66.89 €
Historical Notices of the Edifice Called the King's Manor, Situate Near the Walls of the City of York. [an Offprint from the Twenty-Ninth Report of th Anthony Buckle / Libro Tapa blanda
common.buy 14.89 €
Author's Daughter. [A Novel.] Catherine Helen Spence / Libro Tapa blanda
common.buy 25.69 €
The Great Pyramid And Theology Joseph A. Seiss / Libro Tapa blanda
common.buy 19.09 €
Sharon's Poems of Life, Love, and Liberty Sharon Wiegand / Libro Tapa blanda
common.buy 15.89 €
Self Love and the Healing of Our Animal Friends Betsy Adams / Libro Tapa dura
common.buy 23.49 €
Different Shades of Gray Sand Q Perry / Libro Tapa blanda
common.buy 20.09 €
EASY LOTUS NOTES 4.5 MARMEL / Libro Libro
common.buy 36.09 €
Pentecostalism - Origins and Developments Worldwide Walter J. Hollenweger / Libro Tapa blanda
common.buy 48.49 €
The Crowd Sounds Happy: A Story of Love and Madness in an American Family Nicholas Dawidoff / Libro Tapa blanda
common.buy 21.69 €
Essentials of Environmental Science Andrew Friedland / Libro Tapa blanda
common.buy 316.99 €
Tapping Student Effort: Increasing Student Achievement Stephen G. Barkley / Libro Tapa blanda
common.buy 24.99 €
THE COLLOQUIAL FRENCH READER; OR, INTERE LOUIS FASQUELLE / Libro Tapa dura
common.buy 34.79 €
What is Medieval History? John H. Arnold / Libro Tapa blanda
common.buy 21.49 €
Problems And Solutions In Mathematical Olympiad (High School 1) Zhigang Feng / Libro Tapa dura
common.buy 138.69 €
Conceptual Structure in Childhood and Adolescence Christine Howe / Libro Tapa blanda
common.buy 60.49 €
What A Trip It Was John Brookes / Libro Tapa blanda
common.buy 14.49 €

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?