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

8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings

Language EnglishEnglish
Book Paperback
Book Automated Technology for Verification and Analysis Ahmed Bouajjani
Libristo code: 01656599
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, September 2010
This book constitutes the refereed proceedings of the 8th International Symposium on Automated Techn... Full description
? points 148 b
60.49 € VAT included
In stock at our supplier Shipping in 14-21 days
Austria Delivery to Austria

Up to 30 days for returns

Customers also purchased

Endemische Kretinismus F.de Quervain / Book Paperback
common.buy 55.29 €
Les limites de la rationalité colloque de Cerisy Colloque de Cerisy / Book Paperback
common.buy 48.69 €
SANANDO A EVA Dra. Leonarda Durán Buike / Book Paperback
common.buy 15.39 €
Chroniques Dauphinoises Et Documents Inedits Relatifs A Dauphine Pendant La Revolution (1880) Aime Champollion-Figeac / Book Paperback
common.buy 35.79 €
Vedantadipah Volume 1 Bdaryaa / Book Paperback
common.buy 17.09 €
Кайдзен Masaaki Imai / Book Paperback
common.buy 20.09 €
Auswirkungen von Basel II auf Unternehmensgrundungen hinsichtlich Kreditkonditionen Christa Weinrauch / Book Paperback
common.buy 18.95 €
J.R.R. Tolkien meséi John Ronald Reuel Tolkien / Book Hardback
common.buy 11.49 €
Processo estratégico de tomada de decis?o sobre investimento direto estrangeiro Hussam Al Halbusi / Book Paperback
common.buy 33.59 €
De l’exil à la présence de Dieu Goligher / Book Paperback
common.buy 12.99 €
Top
Peppa és a legjobb szülinapi zsúr / Book Sheet
common.buy 2.79 €
Master Musicians Of Jajouka Led By Bachir Attar: Jajouka Between The Mountains The Master Musicians of Jajouka / Audio Audio CD
common.buy 19.99 €
Bello, elegante e con la fede al dito Andrea Vitali / Book Paperback
common.buy 22.29 €
Vzpomínky má každý Alžběta Ottová / Book Paperback
common.buy 7.09 €
La transposition de la Directive (UE) 2019/1023 dite "restructuration et insolvabilité" - La place d Oleksiy Kononov / Book Paperback
common.buy 91.59 €
Hören, Lesen, Fernsehen - und sie spielen trotzdem Walter Klingler / Book Paperback
common.buy 25.89 €
Peinture En Europe, Catalogues Raisonnes. Rome. Les Musees, Les Collections Particulieres Georges Edouard Lafenestre / Book Paperback
common.buy 34.29 €
Le Grand Dictionnaire Historique. Tome 1, Partie 2 Moreri-L / Book Paperback
common.buy 40.39 €
Gottfried Kellers Der Landvogt von Greifensee. Die Funktion der Frauenfiguren fur die Erzahlung Thomas Grasse / Book Paperback
common.buy 17.95 €
Ordinamento giuridico feudale tra Sacro Romano Impero e domini sabaudi Marco Mana / Book Paperback
common.buy 57.69 €
As sete mortes Carlos Vila Sexto / Book Paperback
common.buy 18.99 €
Synthese Artifizieller Peptide zur Erzeugung von Supramolekularen Architekturen und zur Markie-rung von Biomolekülen Selda Kabatas / Book Paperback
common.buy 63.00 €
Immer Trouble mit Gender? Petra Josting / Book Paperback
common.buy 18.80 €
Erfolgsfaktoren fur die kundenseitige Akzeptanz von NFC-Mobile-Payment im Vergleich zwischen OEsterreich und Taiwan Jakob Harb / Book Paperback
common.buy 42.95 €

This book constitutes the refereed proceedings of the 8th International Symposium on Automated Technology for Verification and Analysis, ATVA 2010, held in Singapore, in September 2010.§The book includes 3 invited talks, 21 regular papers and 9 tool papers.

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 Ahmed Bouajjani, Wei-Ngan Chin
Language English
Binding Book - Paperback
Date of issue 2010
Number of pages 404
EAN 9783642156427
ISBN 3642156428
Libristo code 01656599
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 624
Dimensions 327 x 239 x 28

Categories

Computing & Information Technology > Computer hardware > Network hardware
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 > Computer architecture & logic design
Computing & Information Technology > Operating systems
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

Alone at Sea John N. Morris / Book Paperback
common.buy 26.29 €
PREMO: A Framework for Multimedia Middleware David Duke / Book Paperback
common.buy 53.79 €
Learning Medicine Peter Richards / Book Paperback
common.buy 66.99 €
Memoir of a Nazarene Edward J Murray / Book Hardback
common.buy 33.69 €
Barack Obama in his Own Words Lisa Rogak / Book Paperback
common.buy 17.89 €
I See You... Michaela Pirie / Book Paperback
common.buy 17.09 €
Easywriter and Grammar Girl's 101 Words Every High School Graduate Needs to Know, Fourth Edition Andrea A. Lunsford / Book Hardback
common.buy 53.09 €
Secret War Against Hanoi Richard H. Shultz / Book Paperback
common.buy 17.89 €
Ss93 Regions Near and Far Pupil Edition Grade 4 / Book Hardback
common.buy 131.39 €
Irish Scenes, Eighteen Years Ago IRISH SCENES / Book Hardback
common.buy 32.79 €
The Poetical Works of Ambrose Philips Ambrose Philips / Book Paperback
common.buy 26.89 €
1968 Robert P Fitton / Book Paperback
common.buy 20.09 €
Anecdotes Of Literature And Scarce Books V6 William Beloe / Book Paperback
common.buy 42.59 €
Powering Future Micro Air Vehicles Daniel J Markham / Book Paperback
common.buy 15.09 €
Amazing and Aesthetic Aspects of Analysis Paul Loya / Book Paperback
common.buy 63.19 €
New
The Making of Mexico Pamela K. Starr / Book Hardback
common.buy 66.79 €
Lebanese Baking ABOOD MAUREEN / Book Hardback
common.buy 28.19 €
Scent of Flowers at Night Leila Slimani / Book Paperback
common.buy 11.39 €
Adult Coloring Book Relax: Intricate Patterns And Designs To Color, Calming Coloring Activity Book For Stress Relief, Christmas Gift, Birthday Gi Harper Lee Browning / Book Paperback
common.buy 7.99 €
Essential Biochemistry: University of Texas at Austin, CH 369 Fundamentals of Biochemistry [With CDROM] Kathleen Cornely / Book Paperback
common.buy 123.69 €
Money And Legal Tender In The United States (1877) Henry Richard Linderman / Book Paperback
common.buy 26.89 €
Charcoal Drawing Without A Master (1880) Karl Robert / Book Paperback
common.buy 22.99 €
Step By Step Mixing Bjorgvin Benediktsson / Book Paperback
common.buy 17.29 €

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