Verification, Model Checking, and Abstract Interpretation

Name: Verification, Model Checking, and Abstract Interpretation
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642182747
Price: 291.1 RON
Availability: InStock

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

Autor: Ranjit Jhala, David Schmidt

Limbă:

Legare: Carte broșată

Editura: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Disponibilitate: șansă 50%

Şanse de a obține acest titlu

291.10 lei

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

Informații despre carte

Autor

Ranjit Jhala, David Schmidt

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2011

Pagini

419

EAN

9783642182747

ISBN

3642182747

Enbook ID

01657327

Editura

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Greutate

648

Dimensiuni

155 x 235 x 23

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Verification, Model Checking, and Abstract Interpretation

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

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Supernatural - Nevermore

Cambridge Companion to European Modernism

Psychology for the Third Millennium

Adulteress

Semantics of Complex Words

Third Heaven and The Millennial Reign

Calhoun County

NCAA Volleyball History: Coaches, Players, Personalities & Teams

The Great Book-Collectors

Clienții care au cumpărat această carte au mai cumpărat și

Avatar: Don'T Go In The Forest

Geschichte des deutschen Volkes seit dem Ausgang des Mittelalters

Annie e Robert e il naufragio del Titanic

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

Über Die Einheit Des Menschengeschlechtes Und Den Naturzustand Der Menschen

Adab Kitabi

Buz Kapani

Weltwasserforum in Istanbul

Elements de l'Histoire Naturelle Des Animaux. Partie 1 (Ed.1882)