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) By Jhala, Ranjit (Author) paperback on (03 , 2011) - Couverture souple

Ranjit Jhala

 
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)
Couverture souple
ISBN 10 : 3642182763 ISBN 13 : 9783642182761
Editeur : Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2011

L'édition de cet ISBN n'est malheureusement plus disponible.

Synopsis

Verification, Model Checking, and Abstract Interpretation 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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

(Aucun exemplaire disponible)

Chercher:



Créez une demande

Vous ne trouvez pas le livre que vous recherchez ? Nous allons poursuivre vos recherches. Si l'un de nos libraires l'ajoute aux offres sur AbeBooks, nous vous le ferons savoir !

Créez une demande

Autres éditions populaires du même titre

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

Edition présentée

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