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: 01561223
Price: 53.79 EUR
Availability: InStock
Author: Doron A. Peled
ISBN: 9783540292098

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

Doron A. Peled

Yih-Kuen Tsay

Lingua

Inglese

Libro In brossura

Codice Libristo: 01561223

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

This book constitutes the refereed proceedings of the Third International Conference on Automated Te... Descrizione completa

Codice Libristo: 01561223

132 b

53.79 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Optys Školní sešit 420 bezdřevý čistý - jahůdky

Articoli di cancelleria

0.89 €

Rynek turystyczny Panasiuk Aleksander

In brossura

22.89 €

Hambre de realidad David Shields

Adobe ePub DRM

11.39 €

Musica sacra - Monatschrift für Hebung und Förderung der katholischen Kirchenmusik Ernst Gotthelf Gersdorf

In brossura

17.19 €

DISNEY BABY - Ma Première histoire de Princesse - Aurore

In brossura

9.59 €

Ravensburger BeCreative 25539 Perlentier Marienkäfer, DIY für Kinder ab 4 Jahren

Gioco

7.99 €

L'HISTOIRE DE JESUS pour les enfants The Little Scrolls Publishing

In brossura

14.99 €

Antonello da Messina

In brossura

20.39 €

Trampoty s mrkvou Kate Hudson

Rigido

9.79 €

Klima-Wende-Zeit Andreas Pfennig

In brossura

14.19 €

Memoire Sur La Generalite de Bourges: Dresse (Ed.1844) Louis-Francois Dey De Seraucourt

In brossura

16.19 €

LAÏCITAT I LAÏCISME EN L'OCCIDENTE EUROPEU LLUIS MARTINEZ SISTACH

Rigido

21.19 €

Nie wieder Diat Marlies Kemptner

In brossura

9.09 €

Marktsegmentierung in der deutschen Unternehmenspraxis Carsten Rennhak

In brossura

54.19 €

Dichtung und Sprache des jungen Gryphius Friedrich-Wilhelm Wentzlaff-Eggebert

Rigido

123.99 €

Juegos mentales : 31 días para redescubrir tu mente Martin Cohen

In brossura

15.89 €

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.