Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

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

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Verification, Model Checking, and Abstract Interpretation

Name: Verification, Model Checking, and Abstract Interpretation
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01657327
Price: 20911 HUF
Availability: InStock
Author: Ranjit Jhala
ISBN: 9783642182747

12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings

Ranjit Jhala

David Schmidt

Language

English

Book Paperback

Libristo code: 01657327

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, January 2011

This book constitutes the refereed proceedings of the 12th International Conference on Verification,... Full description

Libristo code: 01657327

138 b

20 911 Ft

50 % chance We search the world When will I receive my book?

Up to 30 days for returns

Customers also purchased

Annie e Robert e il naufragio del Titanic Rino Fruttini

Paperback

5 846 Ft

Avatar: Don'T Go In The Forest Avatar

Audio CD

7 466 Ft

«Et fu fatta grande festa». Le nozze di Giampaolo Baglioni. Cronaca di una congiura. Le «nozze di sangue» di Astorre Baglioni Alberto Maria Sartore

Paperback

8 190 Ft

Geschichte des deutschen Volkes seit dem Ausgang des Mittelalters Johannes Janssen

Paperback

31 997 Ft

Der Zauberladen von Applecross (Bd. 1) Pierdomenico Baccalario

Adobe ePub DRM

4 002 Ft

Über Die Einheit Des Menschengeschlechtes Und Den Naturzustand Der Menschen Theodor Waitz

Hardback

15 441 Ft

Adab Kitabi imam-i Gazali

Paperback

4 050 Ft

Buz Kapani Glenn Meade

Paperback

6 784 Ft

Weltwasserforum in Istanbul A Schneider

Paperback

5 074 Ft

Elements de l'Histoire Naturelle Des Animaux. Partie 1 (Ed.1882) Alphonse Milne-Edwards

Paperback

10 243 Ft

This book constitutes the refereed proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2011, held in Austin, TX, USA, in January 2011, co-located with the Symposium on Principles of Programming Languages, POPL 2011. The 24 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 71 initial submissions. The papers showcases state-of-the-art research in areas such as verification, model checking, abstract interpretation and address any programming paradigm, including concurrent, constraint, functional, imperative, logic and object-oriented programming. Further topics covered are static analysis, deductive methods, program certification, debugging techniques, abstract domains, type systems, and optimization.