Verification, Model Checking, and Abstract Interpretation : 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings

フォーマット:

電子ブック

責任表示:

edited by Gilles Barthe, Manuel Hermenegildo

言語:

英語

出版情報:

Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010

形態:

v.: digital

著者名:

• Barthe, Gilles
• Hermenegildo, Manuel
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 5944

書誌ID:

NB02221072

ISBN:

9783642113192 [3642113192]      

学内からのみアクセスすることができます。