Top 347 fm busby PDF Book Page 14

book image

FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

Michael Carl Tschantz, Jeannette M. Wing (auth.), Ana Cavalcanti, Dennis R. Dams (eds.)
·835 Pages
·2009
·10.185 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: Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings

W. M. P. van der Aalst, M. Pesic (auth.), Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro (eds.)
·296 Pages
·2006
·5.971 MB

book image

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

Mariangiola Dezani-Ciancaglini, Ugo de’Liguoro (auth.), Cosimo Laneve, Jianwen Su (eds.)
·202 Pages
·2010
·2.308 MB

book image

Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I

Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
·533 Pages
·2020
·35.819 MB

book image

FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings

Mathai Joseph (auth.), John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki (eds.)
·569 Pages
·2005
·5.44 MB

book image

Web Services and Formal Methods: 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings

Jianwen Su, Tevfik Bultan, Xiang Fu, Xiangpeng Zhao (auth.), Marlon Dumas, Reiko Heckel (eds.)
·177 Pages
·2008
·6.154 MB

Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.