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
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
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Automated Technology for Verification and Analysis

7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings

Language EnglishEnglish
Book Paperback
Book Automated Technology for Verification and Analysis Zhiming Liu
Libristo code: 01650641
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, September 2009
This book constitutes the proceedings of the 7th International Symposium on Automated Technology for... Full description
? points 125 b
18 713 Ft
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Obrázková němčina 5 jídlo Petr Kupka / Book Book
common.buy 359 Ft
uomo blu e le rose. Antoine de Saint-Exupéry ad Alghero Savina Dolores Massa / Book Hardback
common.buy 11 764 Ft
Пересвет Виктор Поротников / Book Hardback
common.buy 6 019 Ft
Le Petit livre des proverbes, 2e éd. Sylvie H. Brunet / Book Paperback
common.buy 2 172 Ft
#dkinfografik. Management einfach erklärt Alexandra Black / Book Hardback
common.buy 6 137 Ft
MHM - CE1 - Guide des séances + Ressources - Programme 2025 Nicolas Pinel / Book Paperback
common.buy 21 211 Ft
The Call of the Wild (Spanish Edition) / La llamada de lo Salvaje Jack London / Book Hardback
common.buy 5 165 Ft
La ciutat sostenible: un procés de transformació / Book Paperback
common.buy 4 881 Ft
Adventní kalendář – Minecraft / Book Hardback
common.buy 9 206 Ft
Lemuria / Book Paperback
common.buy 4 253 Ft
New
Arcobaleni Yasunari Kawabata / Book Paperback
common.buy 5 599 Ft
George W. Lambert Carl von Reifitz / Book Paperback
common.buy 10 735 Ft
Matematika pro 5. ročník ZŠ 2.díl Jaroslava Justová / Book Paperback
common.buy 1 166 Ft
ECHO 1 Cahier personnel d'apprentissage + CD audio Jacques Pecheur / Book Paperback
common.buy 5 627 Ft
La femme de trente ans./Die Drau von dreissig Jahren. German Honoré de Balzac / Book Hardback
common.buy 7 454 Ft
Georgische Verbtabellen Steffi Chotiwari-Jünger / Book Paperback
common.buy 8 592 Ft
Hindi-Großstadtgeschichten, m. MP3-CD Hannelore Lötzke / Book Paperback
common.buy 7 487 Ft
Kooperation in Der Erwachsenenbildung: Determinanten, Auspr gungen Und Leistung Elvira Helmer / Book Paperback
common.buy 19 223 Ft
(ADHS) bei arabischen Kindern im Grundschulalter in Berlin Hanan Lattouf / Book Paperback
common.buy 22 547 Ft
Mito del Trabajo En Equipo Eugenio Ramírez / Book Paperback
common.buy 19 058 Ft
Contemporary Sculpture II : worked stone Inez Gitzinger-Albrecht / Book Paperback
common.buy 10 957 Ft
Vitae Paparum Avenionensium V3 (1921) Etienne Baluze / Book Paperback
common.buy 17 155 Ft
Inklusion und Exklusion in der Sozialen Arbeit Roland Merten / Book Paperback
common.buy 22 693 Ft
Ouroboros Joel Gissy / Book Paperback
common.buy 2 441 Ft

This book constitutes the proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, held in Macao, China, in October 2009. §The 23 regular papers and 3 took papers presented together with 3 invited talks, were carefully reviewed and selected from 74 research papers and 10 tool papers submissions. §The papers are organized in topical sections on state space reduction, tools, probabilistic systems, medley, temporal logic, abstraction and refinement, and fault tolerant systems.

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 Zhiming Liu, Anders P. Ravn
Language English
Binding Book - Paperback
Date of issue 2009
Number of pages 414
EAN 9783642047602
ISBN 3642047602
Libristo code 01650641
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 652
Dimensions 155 x 235 x 24

Categories

Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
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

Design Characteristics of Virtual Learning Environments Daniel Müller / Book Paperback
common.buy 18 713 Ft
Decision Making in Radiation Oncology Jiade J. Lu / Book Hardback
common.buy 91 466 Ft
Prostate Cancer Imaging: Computer-Aided Diagnosis, Prognosis, and Intervention Anant Madabhushi / Book Paperback
common.buy 22 740 Ft
Essentials of Environmental Science Andrew Friedland / Book Paperback
common.buy 114 102 Ft
Conceptual Structure in Childhood and Adolescence Christine Howe / Book Paperback
common.buy 22 740 Ft
EASY LOTUS NOTES 4.5 MARMEL / Book Book
common.buy 12 978 Ft
THE COLLOQUIAL FRENCH READER; OR, INTERE LOUIS FASQUELLE / Book Hardback
common.buy 13 100 Ft
Tapping Student Effort: Increasing Student Achievement Stephen G. Barkley / Book Paperback
common.buy 9 357 Ft
Defiance: Fall of an Empire Tom Ryker / Book Paperback
common.buy 7 199 Ft
The Crowd Sounds Happy: A Story of Love and Madness in an American Family Nicholas Dawidoff / Book Paperback
common.buy 7 813 Ft
SUPERCLASS David Rothkopf / Book Paperback
common.buy 8 922 Ft
Different Shades of Gray Sand Q Perry / Book Paperback
common.buy 7 577 Ft
Self Love and the Healing of Our Animal Friends Betsy Adams / Book Hardback
common.buy 7 799 Ft
Sharon's Poems of Life, Love, and Liberty Sharon Wiegand / Book Paperback
common.buy 5 165 Ft
The Great Pyramid And Theology Joseph A. Seiss / Book Paperback
common.buy 7 185 Ft
Author's Daughter. [A Novel.] Catherine Helen Spence / Book Paperback
common.buy 9 730 Ft
Historical Notices of the Edifice Called the King's Manor, Situate Near the Walls of the City of York. [an Offprint from the Twenty-Ninth Report of th Anthony Buckle / Book Paperback
common.buy 5 641 Ft
What A Trip It Was John Brookes / Book Paperback
common.buy 5 462 Ft
Problems And Solutions In Mathematical Olympiad (High School 1) Zhigang Feng / Book Hardback
common.buy 52 113 Ft
Price Behaviour of Major Crops in Bangladesh: An Empirical Analysis Shakila Salam / Book Paperback
common.buy 21 947 Ft
Follies in Fragile States: How international stabilisation failed in the Congo Ian D Quick / Book Paperback
common.buy 5 825 Ft
What is Medieval History? John H. Arnold / Book Paperback
common.buy 7 695 Ft
Costa Del Social Joanne St. Clair / Book Paperback
common.buy 3 083 Ft
Prodigal and Other Short Stories Casia Furrer / Book Paperback
common.buy 3 276 Ft

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?