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 By Visar Januzaj Stefan Kugele Boris Langer Christian Schallhart Helmut Veith Auth Tiziana Margaria Bernhard Steffen Eds

File size: 52638 Kb

Upload Date: May-17-2017

Last checked: 46 Minutes

Status: AVAILABLE

Download Immediately

Virus Free Checked

File will be Downloaded Automatically

BOOKS LIBRARY

PDF EPUB AUDIO BOOKS






Users Online

free web tracker