«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

Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Automated Technology for Verification and Analysis Doron A. Peled
Código Libristo: 01561223
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, septiembre 2005
This book constitutes the refereed proceedings of the Third International Conference on Automated Te... 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

Optys Školní sešit 420 bezdřevý čistý - jahůdky / Artículos de papelería Artículos de papelería
common.buy 0.89 €
Rynek turystyczny Panasiuk Aleksander / Libro Tapa blanda
common.buy 22.29 €
Hambre de realidad David Shields / Libro electrónico Adobe ePub DRM
common.buy 11.59 €
Musica sacra - Monatschrift für Hebung und Förderung der katholischen Kirchenmusik Ernst Gotthelf Gersdorf / Libro Tapa blanda
common.buy 17.49 €
DISNEY BABY - Ma Première histoire de Princesse - Aurore / Libro Tapa blanda
common.buy 9.39 €
Ravensburger BeCreative 25539 Perlentier Marienkäfer, DIY für Kinder ab 4 Jahren / Juego/Juguete Juego
common.buy 8.49 €
L'HISTOIRE DE JESUS pour les enfants The Little Scrolls Publishing / Libro Tapa blanda
common.buy 14.99 €
Antonello da Messina / Libro Tapa blanda
common.buy 21.49 €
Trampoty s mrkvou Kate Hudson / Libro Tapa dura
common.buy 9.99 €
Klima-Wende-Zeit Andreas Pfennig / Libro Tapa blanda
common.buy 14.99 €
Memoire Sur La Generalite de Bourges: Dresse (Ed.1844) Louis-Francois Dey De Seraucourt / Libro Tapa blanda
common.buy 16.49 €
LAÏCITAT I LAÏCISME EN L'OCCIDENTE EUROPEU LLUIS MARTINEZ SISTACH / Libro Tapa dura
common.buy 21.49 €
Nie wieder Diat Marlies Kemptner / Libro Tapa blanda
common.buy 9.59 €
Marktsegmentierung in der deutschen Unternehmenspraxis Carsten Rennhak / Libro Tapa blanda
common.buy 56.99 €
Dichtung und Sprache des jungen Gryphius Friedrich-Wilhelm Wentzlaff-Eggebert / Libro Tapa dura
common.buy 130.19 €
Juegos mentales : 31 días para redescubrir tu mente Martin Cohen / Libro Tapa blanda
common.buy 15.39 €

This book constitutes the refereed proceedings of the Third International Conference on Automated Technology for Verificaton and Analysis, ATVA 2005, held in Taipei, Taiwan, in October 2005.§The 33 revised full papers presented together with abstracts of 3 keynote papers were carefully reviewed and selected from 95 submissions. The papers are organized in topical sections on model checking, combined methods, timed, embedded, and hybrid systems, abstraction and reduction techniques, decidability and complexity, established formalisms and standards, compositional verification and games, protocols analysis, case studies, and tools, and infinite-state and parameterized 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 Doron A. Peled, Yih-Kuen Tsay
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2005
Número de páginas 508
EAN 9783540292098
ISBN 3540292098
Código Libristo 01561223
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1600
Dimensiones 152 x 229 x 29

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

Los Soldados Irlandeses de México Michael Hogan / Libro Tapa blanda
common.buy 15.39 €
Henry First Basil Lawrence / Libro Tapa blanda
common.buy 16.39 €
Becoming Me: Poems of the Heart and Mind Jade Ellyette Davis / Libro Tapa blanda
common.buy 20.99 €
Salem Witchcraft Volume II Charles W Upham / Libro Tapa blanda
common.buy 15.39 €
All She Ever Wanted: A Cedar Valley Novel Christina Butrum / Libro Tapa blanda
common.buy 12.59 €
The Conghalach Witches Julie Anne Franklin / Libro Tapa blanda
common.buy 14.89 €
Communication in International Development Florencia Enghel / Libro Tapa dura
common.buy 215.89 €
Of My Many Years Of Youth Emma McNamara / Libro Tapa blanda
common.buy 10.69 €
Common Sea Shells Of California (1881) Josiah Keep / Libro Tapa blanda
common.buy 21.99 €
Domina: There's A First Time For Everything Sen Kitana / Libro Tapa blanda
common.buy 10.69 €
City of Men: Masculinities and Everyday Morality on Public Transport Chowdhury / Libro Tapa blanda
common.buy 31.89 €
The Art of Walt Disney Finch / Libro Tapa dura
common.buy 79.29 €
The Explore-before-Explain Guidebook for Science Education Patrick Brown / Libro Tapa dura
common.buy 194.39 €
Law and Governance in Postnational Europe Michael ZürnChristian Joerges / Libro Tapa dura
common.buy 130.89 €
How Many Legs? Kes Gray / Libro Tapa blanda
common.buy 9.39 €
Something about the Author Anne Commrie / Libro Tapa dura
common.buy 388.09 €
Principles of Fabric Formation Prabir Kumar (Indian Institute of Technology Delhi India) Banerjee / Libro Tapa blanda
common.buy 134.39 €
Hero of Barryton Edgar "Ned" P Burke / Libro Tapa dura
common.buy 18.89 €
Legend of Sleepy Hollow Washington Irving / Libro Tapa dura
common.buy 27.89 €
Project CHECO Southeast Asia Study HQ PACAF Project CHECO / Libro Tapa blanda
common.buy 28.79 €
All Our Yesterdays Cross Stitch Collection Faye Whittaker / Libro Tapa blanda
common.buy 18.09 €
Letters from Prison Antonio Gramsci / Libro Tapa dura
common.buy 129.59 €
Little Quack Loves Colors Lauren Thompson / Libro Tapa dura
common.buy 7.29 €
Brianna's Reading Log Martha Day Zschock / Libro Tapa blanda
common.buy 8.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?