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 courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 136 b
19 902 Ft
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 12 091 Ft
ESTHETIQUE MUSICALE Dubet / Book Paperback
common.buy 6 919 Ft
Die Abenteuer des Robin Hood - Die Bruder Tuck Erweiterung Michael Menzel / Game/Toy Game
common.buy 9 558 Ft
Wise Man's Grandchild 09 Tsuyoshi Yoshida / Book Paperback
common.buy 2 551 Ft
Die Lehre Von Christi Hollenfahrt (1842) Johann Ludwig Konig / Book Paperback
common.buy 11 726 Ft
Catherine: princezna z Walesu (audiokniha) Robert Jobson / Audio Audio CD
common.buy 6 434 Ft
Edelweiss Ronnie J. C. / Book Paperback
common.buy 5 232 Ft
L'escapade de Miquette de Camo (diglot): in French and in Hindi Aditya Srivastava / Book Paperback
common.buy 41 930 Ft
L'Arme invisible: Les Habits Noirs IV Paul Feval / Book Paperback
common.buy 7 169 Ft
Biblisch-theologisches Wörterbuch der neutestamentlichen Gräzität Hermann Cremer / Book Paperback
common.buy 12 793 Ft
Antología poética Pedro Salinas / Book Paperback
common.buy 4 982 Ft
Plateforme D cisionnelle Pour Les Achats Et Approvisionnements Rafya-A / Book Paperback
common.buy 12 456 Ft
Most přes řeku Styx Quirin Jedlička / Book Paperback
common.buy 2 537 Ft
Mediko-geneticheskoe konsul'tirovanie i profilaktika insul'ta Ol'ga Sidorova / Book Paperback
common.buy 11 430 Ft
Manejo da irrigacao na cultura da canola (brassica napus l.) no Brasil Carolina Bilibio / Book Paperback
common.buy 16 269 Ft

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 39 688 Ft
Alien Next Door 6: The Mystery Valentine A. I. Newton / Book Hardback
common.buy 6 096 Ft
International Yearbook of Industrial Statistics 2018 UNIDO / Book Hardback
common.buy 137 357 Ft
Our Nation in Decline Tom Hopper / Book Paperback
common.buy 2 593 Ft
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 6 082 Ft
Aesthetic Surgery of the Craniofacial Skeleton Li Min M.D . / Book Hardback
common.buy 36 541 Ft
Encyclopedia of Environmental Protection and Management: Volume IV Chuck Lancaster / Book Hardback
common.buy 49 833 Ft
Get Your Money Right: The 7 Keys to Unlocking a Better Financial Future Kembala Evans / Book Paperback
common.buy 7 446 Ft
Ver-Non-Semper-Viret. Memorial of Admiral Vernon WILLIAM FRED VERNON / Book Hardback
common.buy 12 091 Ft
Fanatism Dr Samar / Book Paperback
common.buy 6 230 Ft
A Latin Vocabulary: Arranged On Etymological Principles As An Exercise Book And First Latin Dictionary (1848) Benjamin Hall Kennedy / Book Hardback
common.buy 14 245 Ft
Storytelling Phebe Cramer / Book Hardback
common.buy 35 893 Ft
Retreat to the Reich Samuel W. Mitcham / Book Paperback
common.buy 6 447 Ft
Visit to the Farm Michael Morpurgo / Book Paperback
common.buy 3 619 Ft
Maat and Ancient Egyptian Magic Mari Silva / Book Hardback
common.buy 9 600 Ft
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 4 645 Ft
The Awful German Language Mark Twain / Book Hardback
common.buy 5 103 Ft
Night Before Christmas Clement C Moore & Corinne Malvern / Book Board book
common.buy 2 727 Ft
Myth of Liberal Ascendancy G Williams Domhoff / Book Paperback
common.buy 21 473 Ft
Numerical Methods for Differential Equations, Optimization, and Technological Problems Sergei Repin / Book Hardback
common.buy 59 474 Ft
Comparative Constitutional Design Tom Ginsburg / Book Paperback
common.buy 24 357 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?