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

152 b

22 925 Ft

In stock at our supplier Shipping in 10-16 days

Up to 30 days for returns

Customers also purchased

FLOIRAC EN QUERCY CARRIERE

Paperback

11 727 Ft

Les morues Lecoq

Paperback

9 614 Ft

Notre échappatoire bernard

Paperback

7 291 Ft

Hausbot Petr Horký

Paperback

4 935 Ft

JuJutsu Alfonso Torregrossa

Paperback

13 297 Ft

AHA! Rodičovství - Praktický průvodce Laura Markhamová

Paperback

5 963 Ft

Visualisierung des Wunderbaren Jutta Eming

Hardback

22 321 Ft

Love by Kalypso Kalypso

Paperback

10 851 Ft

Benninghoff/Drenckhahn, Anatomie Detlev Drenckhahn

Hardback

78 495 Ft

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

Paperback

1 499 Ft

Sustentos Pixabay -

Paperback

3 198 Ft

Quinua Carlos Sopán Benaute

Paperback

19 561 Ft

Die Christel von der Post, 1 DVD Karl Anton

DVD

4 816 Ft

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

Paperback

5 687 Ft

Anatomia dell'amore Eva Pierrakos

Paperback

2 870 Ft

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

Paperback

7 034 Ft

letzte Komoediant Karl Von Holtei

Paperback

9 628 Ft

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

Paperback

6 820 Ft

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

Paperback

17 100 Ft

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

Paperback

8 905 Ft

Na Kanadském severu Leoš Šimánek

Hardback

4 921 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.