Franck Cassez U A (1 results)

Author:

Refine with Advanced Search

More images
Automated Technology for Verification and Analysis | 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings
Franck Cassez (u. a.)
Language: English
Published by Springer, 2014
3319119354 / 9783319119359
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
5-star seller
Contact seller
Condition: New
£ 43.98
£ 59.25 shipping
Ships from Germany to U.S.A.
Quantity: 5 available
Taschenbuch. Condition: Neu. Automated Technology for Verification and Analysis | 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings | Franck Cassez (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxiv | Englisch | 2014 | Springer | EAN 9783319119359 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…