Paperback. Etat : new. Paperback. 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N� de r�f. du vendeur 9783642182747

Contacter le vendeur

Acheter neuf

EUR 61,76

Autre devise

Frais de port : Gratuit

Vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, Vmcai 2011, Austin, Tx, USA, January 23-25, 2011 Proceedings: Vol 6538

Jhala, Ranjit (Editor) / Schmidt, David (Editor)

Edit� par Springer, 2011

ISBN 10 : 3642182747 ISBN 13 : 9783642182747

Neuf Paperback

Vendeur : Revaluation Books, Exeter, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : Brand New. 430 pages. 9.30x6.10x0.90 inches. In Stock. N� de r�f. du vendeur x-3642182747

Contacter le vendeur

Acheter neuf

EUR 83,46

Autre devise

Frais de port : EUR 11,75

De Royaume-Uni vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Verification, Model Checking, and Abstract Interpretation : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings

Unbekannt

Edit� par Springer-Verlag GmbH, 2011

ISBN 10 : 3642182747 ISBN 13 : 9783642182747

Ancien ou d'occasion Couverture souple

Vendeur : Buchpark, Trebbin, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Etat : Sehr gut. Zustand: Sehr gut - Neubindung, Buchr�cken leicht gewellt | Seiten: 418 | Sprache: Englisch | Produktart: B�cher. N� de r�f. du vendeur 10282540/12

Contacter le vendeur

Acheter D'occasion

EUR 59,94

Autre devise

Frais de port : EUR 45

De Allemagne vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Verification, Model Checking, and Abstract Interpretation : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings

Ranjit Jhala

Edit� par Springer, Berlin, Springer Berlin Heidelberg, Springer, 2011

ISBN 10 : 3642182747 ISBN 13 : 9783642182747

Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Neuware - 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. N� de r�f. du vendeur 9783642182747

Contacter le vendeur

Acheter neuf

EUR 78,58

Autre devise

Frais de port : EUR 31,23

De Allemagne vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Verification, Model Checking, and Abstract Interpretation

Jhala, Ranjit|Schmidt, David

Edit� par Springer Berlin Heidelberg, 2011

ISBN 10 : 3642182747 ISBN 13 : 9783642182747

Neuf Couverture souple

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Etat : New. up-to-date resultsfast tract conference proceedingsstate-of-the-art reportThis book constitutes the refereed proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2011, held in Austin, TX, U. N� de r�f. du vendeur 5051682

Contacter le vendeur

Acheter neuf

EUR 64,08

Autre devise

Frais de port : EUR 48,99

De Allemagne vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 3 disponible(s)

Ajouter au panier

Image d'archives

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings (Lecture Notes in Computer Science)

Edit� par Springer, 2011

ISBN 10 : 3642182747 ISBN 13 : 9783642182747

Ancien ou d'occasion Paperback

Vendeur : dsmbooks, Liverpool, Royaume-Uni

�valuation du vendeur 4 sur 5 �toiles

Paperback. Etat : Like New. Like New. book. N� de r�f. du vendeur D7F9-0-M-3642182747-6

Contacter le vendeur

Acheter D'occasion

EUR 102,31

Autre devise

Frais de port : EUR 29,37

De Royaume-Uni vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Articles li�s � Verification, Model Checking, and Abstract Interpretation:...

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, Vmcai 2011, Austin, Tx, USA, January 23-25, 2011 Proceedings (6538) - Couverture souple

Synopsis

Acheter D'occasion

Acheter neuf

Autres �ditions populaires du m�me titre

Edition pr�sent�e

R�sultats de recherche pour Verification, Model Checking, and Abstract Interpretation:...

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings (Lecture Notes in Computer Science, 6538)

Acheter neuf

Verification, Model Checking, and Abstract Interpretation (Paperback)

Acheter neuf

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, Vmcai 2011, Austin, Tx, USA, January 23-25, 2011 Proceedings: Vol 6538

Acheter neuf

Verification, Model Checking, and Abstract Interpretation : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings

Acheter D'occasion

Verification, Model Checking, and Abstract Interpretation : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings

Acheter neuf

Verification, Model Checking, and Abstract Interpretation

Acheter neuf

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings (Lecture Notes in Computer Science)

Acheter D'occasion