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

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

Couverture souple

ISBN 10 : 3642182747 ISBN 13 : 9783642182747

Editeur : Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2011

Afficher les exemplaires de cette �dition comportant l?ISBN

3 D'occasion

De EUR 64,22

5 Neuf

De EUR 63,82

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.

Les informations fournies dans la section � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteur: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Date d'�dition: 2011
Langue: anglais
ISBN 10: 3642182747
ISBN 13: 9783642182747
Reliure: Broch�
Nombre de pages: 430
�diteur: Jhala Ranjit, Schmidt David
Coordonn�es du fabricant: non disponible
Personne responsable: CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Acheter D'occasion

�tat : Comme neuf

Unread book in perfect condition...

Afficher cet article

EUR 64,22

Exp�dition �EUR 2,31
Exp�dition nationale�: Etats-Unis

Ajouter au panier

Acheter neuf

Afficher cet article

EUR 63,82

Exp�dition �EUR 2,31
Exp�dition nationale�: Etats-Unis

Ajouter au panier

Autres �ditions populaires du m�me titre

9783642182761: (Verification, Model Checking, and Abstract Interpretation: 12th International Conference, Vmcai 2011, Austin, TX, USA, January 23-25, 2011 Proceedings) By Jhala, Ranjit (Author) paperback on (03 , 2011)

Edition pr�sent�e

ISBN 10 : 3642182763 ISBN 13 : 9783642182761
Editeur : Springer-Verlag Berlin and Heide..., 2011
Couverture souple

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

Image fournie par le vendeur

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

Jhala, Ranjit (EDT); Schmidt, David (EDT)

Edit� par Springer, 2011

ISBN 10 : 3642182747 ISBN 13 : 9783642182747

Neuf Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : New. N� de r�f. du vendeur 12226044-n

Contacter le vendeur

Acheter neuf

EUR 63,82

Exp�dition �EUR 2,31
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Verification, Model Checking, and Abstract Interpretation (Paperback)

Ranjit Jhala

Edit� par Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2011

ISBN 10 : 3642182747 ISBN 13 : 9783642182747

Neuf Paperback

Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

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 66,21

Livraison gratuite
Exp�dition nationale�: Etats-Unis

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

Jhala, Ranjit (EDT); Schmidt, David (EDT)

Edit� par Springer, 2011

ISBN 10 : 3642182747 ISBN 13 : 9783642182747

Ancien ou d'occasion Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : As New. Unread book in perfect condition. N� de r�f. du vendeur 12226044

Contacter le vendeur

Acheter D'occasion

EUR 64,22

Exp�dition �EUR 2,31
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 2 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 (Lecture Notes in Computer Science, 6538)

Edit� par Springer, 2011

ISBN 10 : 3642182747 ISBN 13 : 9783642182747

Ancien ou d'occasion Couverture souple

Vendeur : Solr Books, Lincolnwood, IL, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : very_good. This books is in Very good condition. There may be a few flaws like shelf wear and some light wear. N� de r�f. du vendeur BCV.3642182747.VG

Contacter le vendeur

Acheter D'occasion

EUR 65,67

Exp�dition �EUR 6,98
Exp�dition nationale�: Etats-Unis

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 82,67

Exp�dition �EUR 14,48
Exp�dition depuis Royaume-Uni vers Etats-Unis

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 4 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 62,83

Exp�dition �EUR 48,99
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 2 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, 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 77,77

Exp�dition �EUR 63,24
Exp�dition depuis Allemagne vers Etats-Unis

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 | Seiten: 418 | Sprache: Englisch | Produktart: B�cher | Keine Beschreibung verf�gbar. N� de r�f. du vendeur 10282540/12

Contacter le vendeur

Acheter D'occasion

EUR 53,95

Exp�dition �EUR 105
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier