Kenneth Mcmillan U A (1 results)

Author:

More images
Verification, Model Checking, and Abstract Interpretation | 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
Kenneth Mcmillan (u. a.)
Language: English
Published by Springer, 2014
3642540120 / 9783642540127
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
5-star seller
Contact seller
Condition: New
£ 43.65
£ 58.57 shipping
Ships from Germany to U.S.A.
Quantity: 5 available
Taschenbuch. Condition: Neu. Verification, Model Checking, and Abstract Interpretation | 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings | Kenneth Mcmillan (u. a.) | Taschenbuch | xviii | Englisch | 2014 | Springer | EAN 9783642540127 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…
Discover more from Xavier Rival
Explore their published works and collectible offers.Explore Xavier Rival

Verification, Model Checking, and Abstract Interpretation | 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings