Isil Dillig U A (1 results)

Author:

Verification, Model Checking, and Abstract Interpretation | 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings
Isil Dillig (u. a.)
Language: English
Published by Springer, 2018
3319737201 / 9783319737201
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
5-star seller
Contact seller
Condition: New
US$ 57.65
US$ 77.35 shipping
Ships from Germany to U.S.A.
Quantity: 5 available
Taschenbuch. Condition: Neu. Verification, Model Checking, and Abstract Interpretation | 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings | Isil Dillig (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xviii | Englisch | 2018 | Springer | EAN 9783319737201 | 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 Dillig, Isil
Explore their published works and collectible offers.Explore Dillig, Isil

Verification, Model Checking, and Abstract Interpretation | 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings