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
Contact
How to shop
Help
Delivery
Austrian Post 5.49 €
DPD courier 3.99 €
DPD point 2.99 €
GLS courier 4.99 €
Shopping guide
My account
▸
Empty :-(
0
Automated Technology for Verification and Analysis
9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings
Language
English
English
Book
Paperback
This book constitutes the refereed proceedings of the 9th International Symposium on Automated Techn...
Full description
Libristo code: 01658982
?
148 b
148 b
60.39
€
VAT included
Low in stock at our supplier
Shipping in 13-18 days
Delivery to Austria
Delivery to Austria
Up to 30 days for returns
Customers also purchased
/
Paperback
44.79
€
/
Paperback
18.95
€
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.
Actress
&
Polyglot
EWA KASP
for
Play video
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.
About the book
Full name
Automated Technology for Verification and Analysis
Author
Tevfik Bultan, Pao-Ann Hsiung
Language
English
English
Binding
Book - Paperback
Date of issue
2011
Number of pages
532
EAN
9783642243714
ISBN
3642243711
Libristo code
01658982
Weight
764
Dimensions
155 x 235 x 30
Categories
Computing & Information Technology
>
Computer programming / software engineering
>
Compilers & interpreters
Computing & Information Technology
>
Computer programming / software engineering
>
Programming & scripting languages: general
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's addressYou might also be interested in
/
Hardback
28.19
€
/
Hardback
118.39
€
