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 FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 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

13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings

Language EnglishEnglish
Book Paperback
Book Verification, Model Checking, and Abstract Interpretation Viktor Kuncak
Libristo code: 01660462
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, January 2012
This book constitutes the refereed proceedings of the 13th International Conference on Verification,... Full description
? points 152 b
22 290 Ft
Low in stock at our supplier Shipping in 9-15 days

30-day return policy

Customers also purchased

Computer-Numerik 2 Christoph W. Überhuber / Book Paperback
common.buy 20 059 Ft
Maladies importantes, probl?mes de marché et de production des principales cultures fruiti?res Misgana Mitiku / Book Paperback
common.buy 12 471 Ft
Eloge de l'Abbe Rozier, Couronne Par l'Academie de Lyon, Le 30 Aout 1832 DE BOISSIEU-A / Book Paperback
common.buy 5 224 Ft
Allerhöchste Eisenbahn! Katharina Mahrenholtz / Book Hardback
common.buy 3 683 Ft
Sono io il piu forte! RAMOS MARIO / Book Hardback
common.buy 4 257 Ft
ELEGIE VOIX-VLC-PIANO MUSIQUE D'ENSEMBLE JULES COHEN Book binding.
common.buy 5 400 Ft
Tosia i Julek czekają na brata. (Nie) tacy sami Magdalena Boćko-Mysiorska / Book Hardback
common.buy 1 994 Ft
Organizzazione delle altezze nello spazio temperato Luigi Verdi / Book Hardback
common.buy 14 456 Ft
Die Geburt der Tragödie, Sonderausgabe Friedrich Nietzsche / Book Paperback
common.buy 4 239 Ft
VALENCIA 2018 PASCUAL IZQUIERDO / Book Paperback
common.buy 7 251 Ft
LA LIBRETA ROJA DE LA PATERNIDAD CARLOS ESCUDERO / Book Paperback
common.buy 7 556 Ft
LINDER Biologie SII - Ausgabe 2018 für Sachsen Horst Bayrhuber / Book Hardback
common.buy 11 591 Ft
Bese Ese Sapo!: 12 Formas de Convertir Lo Negativo en Positivo = Kiss That Frog! Brian Tracy / Book Paperback
common.buy 5 252 Ft
Energie Aus Biomasse - Ein Ethisches Diskussionsmodell Michael Zichy / Book Paperback
common.buy 10 990 Ft
Die CSU Alf Mintzel / Book Paperback
common.buy 20 471 Ft
Wie ich ein Lügner wurde... Arkadij T. Awertschenko / Book Paperback
common.buy 7 996 Ft
Westfassade des Domes in Siena Silvia Katzenmaier / Book Paperback
common.buy 6 279 Ft
Lernort Burgerrundfunk - Offene Hoerfunk- und Fernsehkanale und Nichtkommerzielle Lokalradios in der Bundesrepublik Deutschland Brigitte Kertscher / Book Paperback
common.buy 18 343 Ft

This book constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of Programming Languages, POPL 2012. The 26 revised full papers presented were carefully reviewed and selected from 70 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation, static analysis, deductive methods, program certification, debugging techniques, abstract domains, type systems, and optimization.

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 Viktor Kuncak, Andrey Rybalchenko
Language English
Binding Book - Paperback
Date of issue 2012
Number of pages 457
EAN 9783642279393
ISBN 3642279392
Libristo code 01660462
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 709
Dimensions 155 x 235 x 28

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

Secret of Chimneys / Book Paperback
common.buy 7 408 Ft
Fandom, Image and Authenticity Jennifer Otter Bickerdike / Book Hardback
common.buy 21 304 Ft
The Art of Painting in Oil John Smith / Book Paperback
common.buy 5 928 Ft
Magnus and the Night Lion Sanne Dufft / Book Paperback
common.buy 3 299 Ft
Pinpoint Maths Times Tables Detectives Year 4 Lucy Roberts / Book Paperback
common.buy 2 920 Ft
Diseases of the Foetus in Utero, (Not Including Malformations). with Outline of Foetal Development HENRY MADGE / Book Paperback
common.buy 8 436 Ft
Tender Persuasion Jean Hackensmith / Book Paperback
common.buy 5 692 Ft
Royal Merchant; An Opera Fletcher / Book Hardback
common.buy 11 388 Ft
Mills Mill Pals Pamela Chaffin Foster / Book Paperback
common.buy 8 806 Ft
Select Works of Antony Van Leeuwenhoek, Containing His Microscopical Discoveries in Many of the Works of Nature. Translated from the Dutch and Latin E Antoni van Leeuwenhoek / Book Paperback
common.buy 10 962 Ft
Knowledge of Heaven and Earth, Book Two Mick Richfield / Book Paperback
common.buy 8 130 Ft
Soul in the Brain Michael R. Trimble / Book Hardback
common.buy 16 978 Ft
How To Survive Peer Review Elizabeth Wager / Book Paperback
common.buy 11 355 Ft
Power System Economics - Designing Markets for Electricity Stoft / Book Paperback
common.buy 38 166 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?