Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Automated Technology for Verification and Analysis

Name: Automated Technology for Verification and Analysis
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01658982
Price: 57.79 EUR
Availability: InStock
Author: Tevfik Bultan
ISBN: 9783642243714

9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings

Tevfik Bultan

Pao-Ann Hsiung

Lingua

Inglese

Libro In brossura

Codice Libristo: 01658982

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, settembre 2011

This book constitutes the refereed proceedings of the 9th International Symposium on Automated Techn... Descrizione completa

Codice Libristo: 01658982

141 b

57.79 €

Magazzino esterno in piccole quantità Inviamo tra 13-18 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Love by Kalypso Kalypso

In brossura

31.89 €

Anglicky v běžných situacích Jitka Krejčíková

In brossura

3.99 €

Les morues Lecoq

In brossura

28.49 €

Hausbot Petr Horký

In brossura

13.69 €

Benninghoff/Drenckhahn, Anatomie Detlev Drenckhahn

Rigido

185.49 €

Sustentos Pixabay -

In brossura

8.39 €

Die Christel von der Post, 1 DVD Karl Anton

DVD

12.69 €

Kuno Kopfgeldjäger: Erster Band Christian Franz-Josef Vollmer

In brossura

16.49 €

Hoerspiel als Widerstand am Beispiel von Todesraten von Elfriede Jelinek und Olga Neuwirth Verena Wiesner

In brossura

17.89 €

justicia penal negociada - Un analisis comparativo entre los procesos penales espanol y peruano Mercedes Rosemarie Herrera Guerrero

In brossura

44.79 €

Camden Town Advanced - Globalization and global challenges Katrin Hübschen

In brossura

25.49 €

Na Kanadském severu Leoš Šimánek

Rigido

13.59 €

This book constitutes the refereed proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, held in Taipei, Taiwan, in October 2011.§The 23 revised regular papers presented together with 5 invited papers, 11 short papers, and 2 tool papers, were carefully reviewed and selected from 75 submissions. The papers address all theoretical and practical aspects of automated analysis, verification and synthesis; thus providing a forum for interaction between the regional and the international research communities and industry in the field.