Top 362 francesco dell isola PDF Book Page 15

book image

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Helmut Veith (auth.), Tiziana Margaria, Bernhard Steffen (eds.)
·726 Pages
·2010
·13.018 MB

Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.