Top 114 fm PDF Book Page 5

book image

PS CPU SM DI SM DO SM AO CP FM SM I

531 Pages
·2010
·9.25 MB

book image

FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings

Thomas A. Henzinger, Joseph Sifakis (auth.), Jayadev Misra, Tobias Nipkow, Emil Sekerinski (eds.)
·633 Pages
·2006
·6.758 MB

book image

Web Services and Formal Methods: 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers

Mario Bravetti, Gianluigi Zavattaro (auth.), Roberto Bruni, Karsten Wolf (eds.)
·250 Pages
·2009
·5.511 MB