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
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

Automated Technology for Verification and Analysis

13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

Language EnglishEnglish
Book Paperback
Book Automated Technology for Verification and Analysis Bernd Finkbeiner
Libristo code: 09524362
Publishers Springer International Publishing AG, November 2015
This book constitutes the proceedings of the 13th International Symposium on Automated Technology fo... Full description
? points 125 b
51.01 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Avaliacao dos Impactos Ambientais do Processo de Extracao de Argila Gustavo Francesco de Morais Dias / Book Paperback
common.buy 35.30 €
Meyveler - Sebzeler - Besinler Türkce - Ingilizce / Book Paperback
common.buy 19.90 €
Tajomstvo reči tela Monika Stehlíková / Book Hardback
common.buy 20.00 €
Dessiner les chevaux et les poneys Picavet / Book Hardback
common.buy 22.10 €
Passages de l'image Book Book
common.buy 43.51 €
Le cardinal Joseph Fesch, archevêque de Lyon - nouvelles études Book Paperback
common.buy 25.00 €
Rainbow 01 Abe / Book Paperback
common.buy 13.80 €
En busca del candidato de Manchuria Marks / Book Paperback
common.buy 26.40 €
Lehrbuch des deutschen Verwaltungsrechtes. Georg Meyer / Book Paperback
common.buy 167.36 €
Nyx el Regulador 3, Ofidia Corbeyran / Book Paperback
common.buy 20.50 €
Katzen verstehen und erziehen Meine Katze furs Leben Ratgeber / E-book Adobe ePub DRM
common.buy 6.49 €
Manolito Gafotas Elvira Lindo / Book Paperback
common.buy 6.59 €

This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015.§§The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry.§

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 Bernd Finkbeiner, Geguang Pu, Lijun Zhang
Language English
Binding Book - Paperback
Date of issue 2015
Number of pages 520
EAN 9783319249520
ISBN 3319249525
Libristo code 09524362
Publishers Springer International Publishing AG
Weight 8015
Dimensions 155 x 235 x 30

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
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
Computing & Information Technology > Computer science > Artificial intelligence
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

Frontiers of Combining Systems Carsten Lutz / Book Paperback
common.buy 51.01 €
Organic Fertilizers Ghazala Yaqub / Book Hardback
common.buy 190.37 €
New and Experimental Approaches to Writing Lives Hugh Craig / Book Hardback
common.buy 122.64 €
Doctor Who - Der Erste Doktor: Die Daleks (Digipack-Edition) William Hartnell / Video DVD
common.buy 36.00 €
An analysis of the protagonists' mad behaviour in Jean Rhys' "Wide Sargasso Sea" in Hegelian Terms Janine Evangelista / Book Paperback
common.buy 16.00 €
Piano ABC's - Level One: Beginning at the Beginning Beverly Grace Joy / Book Paperback
common.buy 13.90 €
The Golden Years Through Thick and Thin Elroy W Johnson / Book Paperback
common.buy 7.59 €
In the Rocky Mountains: A Tale of Adventure W H G Kingston / Book Paperback
common.buy 35.00 €
The Poets and Poetry of the Bible George Gilfillan / Book Paperback
common.buy 35.00 €
Letter to the Right Honourable Charles Jenkinson John Almon / Book Paperback
common.buy 11.59 €
FUNDAMENTALS JAMES CURNOW / Book binding.
common.buy 29.50 €
Rethinking Hell Christopher M. Date / Book Hardback
common.buy 53.41 €
Eloise at the Wedding Margaret McNamara / Book Hardback
common.buy 16.50 €
The Sacred Interpreter V1: Or, a Practical Introduction Towards a Beneficial Reading and a Thorough Understanding of the Holy Bible David Collyer / Book Paperback
common.buy 37.81 €
The Fire Next Time; Nobody Knows My Name; No Name in the Street; The Devil Finds Work: Introduction by Eddie S. Glaude Jr. Eddie S. Glaude Jr / Book Hardback
common.buy 24.30 €
Coming soon
AMERICAN FOOTBALL CARDS 1888-1988 Arne Flaten / Book Hardback
common.buy 55.61 €
Top
After Dark Haruki Murakami / Book Hardback
common.buy 18.60 €
Literary Channel Margaret Cohen / E-book Adobe ePub DRM
common.buy 57.71 €
Death of the USS Thresher Norman Polmar / E-book Adobe ePub DRM
common.buy 16.60 €
Bird Populations Ian Newton / E-book Adobe ePub DRM
common.buy 55.41 €
History of Creole Trinidad, 1956-2010 Raymond Ramcharitar / Book Hardback
common.buy 147.05 €
China from a U.S. Policy Perspective Heikkila / Book Paperback
common.buy 64.12 €
Cones Visit the Children's Hospital Chris Madeley / Book Paperback
common.buy 13.60 €
Advanced Python Development Matthew Wilkes / Book Paperback
common.buy 41.01 €

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?