:
Free Download Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers By Farhad Arbab, Joost N. Kok (auth.), Tiziana Margaria, Bernhard Steffen (eds.)
2006 | 197 Pages | ISBN: 3540489282 | PDF | 3 MB
From the reviews:"The practical applications of formal methods are increasing. This book contains the main proceedings of an international symposium on leveraging applications of formal methods (IsoLA). It consists of 12 papers. ... I find the papers highly informative; they exemplify ways to leverage applications of formal methods. I recommend that practitioners explore such applications." (S. V. Nagaraj, ACM Computing Reviews, Vol. 49 (8), August, 2008)
Leveraging Applications of Formal Methods First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 – November2, 2 Torrent Download , Leveraging Applications of Formal Methods First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 – November2, 2 Watch Free Link , Leveraging Applications of Formal Methods First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 – November2, 2 Read Free Online , Leveraging Applications of Formal Methods First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 – November2, 2 Download Online