Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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: 21841 HUF
Availability: InStock
Author: Tevfik Bultan
ISBN: 9783642243714

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

Tevfik Bultan

Pao-Ann Hsiung

Language

English

Book Paperback

Libristo code: 01658982

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, September 2011

This book constitutes the refereed proceedings of the 9th International Symposium on Automated Techn... Full description

Libristo code: 01658982

145 b

21 841 Ft

Low in stock at our supplier Shipping in 13-18 days

Up to 30 days for returns

Customers also purchased

Hausbot Petr Horký

Paperback

4 742 Ft

Love by Kalypso Kalypso

Paperback

11 184 Ft

Les morues Lecoq

Paperback

9 964 Ft

Notre échappatoire bernard

Paperback

6 670 Ft

Sustentos Pixabay -

Paperback

3 190 Ft

Benninghoff/Drenckhahn, Anatomie Detlev Drenckhahn

Hardback

67 665 Ft

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

Paperback

1 386 Ft

Quinua Carlos Sopán Benaute

Paperback

17 840 Ft

Die Christel von der Post, 1 DVD Karl Anton

DVD

4 472 Ft

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

Paperback

5 768 Ft

Anatomia dell'amore Eva Pierrakos

Paperback

2 863 Ft

Album Contemporain Europeen: Biogr. Historiques Avec Portraits Photographiques Lallier-J

Paperback

7 016 Ft

letzte Komoediant Karl Von Holtei

Paperback

8 792 Ft

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

Paperback

6 817 Ft

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

Paperback

17 056 Ft

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

Paperback

8 958 Ft

Na Kanadském severu Leoš Šimánek

Hardback

4 728 Ft

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.