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 69.99 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Verification, Model Checking, and Abstract Interpretation

17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

Language EnglishEnglish
Book Paperback
Book Verification, Model Checking, and Abstract Interpretation Barbara Jobstmann
Libristo code: 02862913
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, December 2015
This book constitutes the refereed proceedings of the 17th International§Conference on Verification,... Full description
? points 125 b
51.69 €
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Neofici Polscy: Materyaly Historyczne (1904) Teodor Jeske-Choinski / Book Paperback
common.buy 31.66 €
ESTHETIQUE MUSICALE Dubet / Book Paperback
common.buy 19.52 €
Die Abenteuer des Robin Hood - Die Bruder Tuck Erweiterung Michael Menzel / Game/Toy Game
common.buy 24.88 €
Wise Man's Grandchild 09 Tsuyoshi Yoshida / Book Paperback
common.buy 6.57 €
Die Lehre Von Christi Hollenfahrt (1842) Johann Ludwig Konig / Book Paperback
common.buy 30.75 €
Catherine: princezna z Walesu (audiokniha) Robert Jobson / Audio Audio CD
common.buy 18.10 €
Edelweiss Ronnie J. C. / Book Paperback
common.buy 13.75 €
L'escapade de Miquette de Camo (diglot): in French and in Hindi Aditya Srivastava / Book Paperback
common.buy 109.36 €
L'Arme invisible: Les Habits Noirs IV Paul Feval / Book Paperback
common.buy 18.71 €
Biblisch-theologisches Wörterbuch der neutestamentlichen Gräzität Hermann Cremer / Book Paperback
common.buy 32.97 €
Antología poética Pedro Salinas / Book Paperback
common.buy 14.05 €
Plateforme D cisionnelle Pour Les Achats Et Approvisionnements Rafya-A / Book Paperback
common.buy 32.06 €
Most přes řeku Styx Quirin Jedlička / Book Paperback
common.buy 7.17 €
Mediko-geneticheskoe konsul'tirovanie i profilaktika insul'ta Ol'ga Sidorova / Book Paperback
common.buy 29.43 €
Manejo da irrigacao na cultura da canola (brassica napus l.) no Brasil Carolina Bilibio / Book Paperback
common.buy 45.92 €

This book constitutes the refereed proceedings of the 17th International§Conference on Verification, Model Checking, and Abstract§Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016. The 24 full papers together with 2 invited talks and 1 abstract presented were carefully reviewed and selected§from 67 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical 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 Verification, Model Checking, and Abstract Interpretation
Author Barbara Jobstmann, K. Rustan M. Leino
Language English
Binding Book - Paperback
Date of issue 2015
Number of pages 558
EAN 9783662491218
ISBN 3662491214
Libristo code 02862913
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 866
Dimensions 155 x 235 x 30

Categories

Computing & Information Technology > Computer programming / software engineering > Software Engineering > Software testing & verification
Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
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

Desire for Society H. G. Furth / Book Hardback
common.buy 102.99 €
Alien Next Door 6: The Mystery Valentine A. I. Newton / Book Hardback
common.buy 13.55 €
International Yearbook of Industrial Statistics 2018 UNIDO / Book Hardback
common.buy 387.40 €
Our Nation in Decline Tom Hopper / Book Paperback
common.buy 6.77 €
Charter and Ordinances, Together with the Acts of the Legislature, Relating to the City, Rules and Orders of the City Council, and Members of City Cou Gardiner (Me ) Maine / Book Paperback
common.buy 15.57 €
Aesthetic Surgery of the Craniofacial Skeleton Li Min M.D . / Book Hardback
common.buy 103.09 €
Encyclopedia of Environmental Protection and Management: Volume IV Chuck Lancaster / Book Hardback
common.buy 129.40 €
Get Your Money Right: The 7 Keys to Unlocking a Better Financial Future Kembala Evans / Book Paperback
common.buy 19.72 €
Ver-Non-Semper-Viret. Memorial of Admiral Vernon WILLIAM FRED VERNON / Book Hardback
common.buy 31.66 €
Fanatism Dr Samar / Book Paperback
common.buy 16.28 €
A Latin Vocabulary: Arranged On Etymological Principles As An Exercise Book And First Latin Dictionary (1848) Benjamin Hall Kennedy / Book Hardback
common.buy 37.32 €
Storytelling Phebe Cramer / Book Hardback
common.buy 94.79 €
Retreat to the Reich Samuel W. Mitcham / Book Paperback
common.buy 16.68 €
Visit to the Farm Michael Morpurgo / Book Paperback
common.buy 9.50 €
Maat and Ancient Egyptian Magic Mari Silva / Book Hardback
common.buy 24.58 €
Coming soon
Report of the Joint Inspection Unit for 2008 and Programme of Work for 2009 United Nations: Joint Inspection Unit / Book Paperback
common.buy 13.14 €
The Awful German Language Mark Twain / Book Hardback
common.buy 13.14 €
Night Before Christmas Clement C Moore & Corinne Malvern / Book Board book
common.buy 6.97 €
Myth of Liberal Ascendancy G Williams Domhoff / Book Paperback
common.buy 56.55 €
Numerical Methods for Differential Equations, Optimization, and Technological Problems Sergei Repin / Book Hardback
common.buy 154.39 €
Comparative Constitutional Design Tom Ginsburg / Book Paperback
common.buy 63.93 €

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