Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
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
0
Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 € GLS courier 4.99 €
phone Contact phoneHow to shop

Automated Technology for Verification and Analysis

4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings

Language EnglishEnglish
Book Paperback
Book Automated Technology for Verification and Analysis Susanne Graf
Libristo code: 01564910
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, October 2006
This book constitutes the refereed proceedings of the Third International Symposium on Automated Tec... Full description
? points 132 b
53.79 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

Up to 30 days for returns

Customers also purchased

Révélations Galactiques Tome 2 - Sortir de la matrice Givaudan / Book Paperback
common.buy 23.59 €
Familienplaner 2026 - In Gedanken auf den Seychellen mit 5 Spalten (Wandkalender, 21 x 45 cm) CALVENDO Calvendo / Calendar/Diary Calendar
common.buy 21.99 €
Kuroko's Basketball Season 2 Vol.1 (Blu-ray) / Video Blu-ray
common.buy 63.19 €
Preparation A La Mort. 9e Edition Jean Crasset / Book Paperback
common.buy 18.09 €
Terror In Taos Chet Cunningham Audiobook MP3
common.buy 26.59 €
Reise Know-How Wohnmobil-Tourguide Südtirol mit Gardasee Michael Moll / Book Paperback
common.buy 24.95 €
Tragizm polityki naszych czasów. Strach, fatum i brzemię władzy Robert D. Kaplan / Book Paperback
common.buy 12.99 €
Gesammelte Schriften: Die Grundung Prags: Ein Historisch-Romantisches Drama Clemens Brentano / Book Paperback
common.buy 30.29 €
August Schneegans, 1835-1898: Memoiren Ein Beitrag Zur Geschichte Des Elsasses in Der Ubergangszeit (1904) August Schneegans / Book Paperback
common.buy 41.59 €
Viage De Espa?a, Volume 2 Antonio Ponz / Book Paperback
common.buy 28.79 €
EL LLIBRE QUE ES MOU ANNE-SOPHIE BAUMANN / Book Hardback
common.buy 13.79 €
Amor fou MARTA SANZ / Book Paperback
common.buy 28.29 €
Almanach českých šlechtických a rytířských rodů 2028 Karel Vavřínek / Book Sheet
common.buy 8.09 €
Dictionnaire Historique de l'Ancien Langage Francois.Tome IV. Chie-Deca De Sainte-Palaye-J-B / Book Paperback
common.buy 33.19 €
16 Romantische Welterfolge, 1 Audio-CD arious / Audio Audio CD
common.buy 11.39 €

This book constitutes the refereed proceedings of the Third International Symposium on Automated Technology for Verification and Analysis, ATVA 2006, held in Beijing, China in October 2006.§The 35 revised full papers presented together with abstracts of three keynote papers were carefully reviewed and selected from 137 submissions.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
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 Susanne Graf, Wenhui Zhang
Language English
Binding Book - Paperback
Date of issue 2006
Number of pages 546
EAN 9783540472377
ISBN 3540472371
Libristo code 01564910
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 1710
Dimensions 155 x 235 x 30

Categories

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Computing & Information Technology > Graphical & digital media applications > Computer-aided design (CAD)
Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer networking & communications
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 address

You might also be interested in

Guillaume Michael Arno Bender / Book Paperback
common.buy 24.79 €
Were- Patricia Bray / Book Paperback
common.buy 16.39 €
Anne of Ingleside L M Montgomery / Book Paperback
common.buy 12.49 €
The Ash Beneath My Feet Lucia Fudge / Book Paperback
common.buy 10.59 €
Homemade Bath Bombs and Bubble Baths: Simple to Make DIY Bath Bomb and Bubble Bath Recipes Josephine Simon / Book Paperback
common.buy 10.89 €
Nowhere to Hide R. SAMUEL BATY / Book Paperback
common.buy 9.59 €
Quicksilver War: Syria, Iraq and the Spiral of Conflict William Harris / Book Hardback
common.buy 35.19 €
The Supplies of Room Nine Learn to Shine Jessica Lewis / Book Hardback
common.buy 14.49 €
Enigma En El Laberinto De Maiz Pedro Tena Tena / Book Paperback
common.buy 16.69 €
DBT Therapy Workbook for Teens & Parents Kardas Publishig / Book Paperback
common.buy 19.19 €
Adobe Photoshop Lightroom Classic Classroom in a Book (2022 release) Rafael Concepcion / Book Paperback
common.buy 55.89 €
My Hero Academia: Smash!!, Vol. 5 Kohei Horikoshi / Book Paperback
common.buy 9.19 €
What's Wrong with the World G. K. Chesterson / Book Hardback
common.buy 16.49 €
Antiklotzius (1762) Pieter Burman / Book Paperback
common.buy 25.89 €
HCG-DIET; What Dr. Simeons Really Said Susan Margret Wimmer / Book Paperback
common.buy 23.49 €
Coming soon
THE WAY OF JESUS Rebecca Pippert / Book Paperback
common.buy 10.19 €
Top
Harry Potter and the Goblet of Fire (Harry Potter, Book 4) (Interactive Illustrated Edition) Joanne K. Rowling / Book Hardback
common.buy 40.29 €
Change and Progress in Modern Science Joseph C. Pitt / Book Hardback
common.buy 181.49 €
Perfect Imperfect MCCARTNEY KAREN / Book Hardback
common.buy 39.29 €
Beyond the Lettered City Joanne Rappaport / Book Paperback
common.buy 49.79 €
Due Diligence for Global Deal Making - The Definitive Guide to Cross-Border Mergers and Acquisitions, Joint Ventures, Financings, and Stra Rosenbloom / Book Hardback
common.buy 70.59 €
Coming soon
Dance of the Sleepwalkers Calabria / Book Hardback
common.buy 46.69 €
Bring Your Vision To Life Ralph McCall / Book Paperback
common.buy 9.59 €
Sexual Politics in the Work of Tennessee Williams Michael S. D. Hooper / Book Paperback
common.buy 49.79 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?