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)
Free Download
TakeFile Download Links Here
https://takefile.link/n5a8qzt7e76y/yafaj.7z.html
Fileaxa
https://fileaxa.com/rrwzx992j3xv/yafaj.7z
Fikper Download Links Here
https://fikper.com/uwjxyovVhT/yafaj.7z.html
Links are Interchangeable - Single Extraction
Книги
