Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers
Farhad Arbab, Joost N. Kok (auth.), Tiziana Margaria, Bernhard Steffen (eds.)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)
Կատեգորիաներ:
Տարի:
2006
Հրատարակում:
1
Հրատարակչություն:
Springer-Verlag Berlin Heidelberg
Լեզու:
english
Էջեր:
197
ISBN 10:
3540489282
ISBN 13:
9783540489283
Սերիաներ:
Lecture Notes in Computer Science 4313 : Theoretical Computer Science and General Issues
Ֆայլ:
PDF, 2.40 MB
IPFS:
,
english, 2006