Top 859 fm 2030 PDF Book Page 35

book image

Стратегия Республики Башкортостан - 2030: приоритеты экономического роста: сборник научных статей Всероссийской научно-практической конференции, 16 марта 2017 г.

Министерство образования и науки Российской Федерации, Федеральное государственное бюджетное образовательное учреждение высшего образования " Уфимский государственный нефтяной технический университет", Институт экономики и сервиса, Институт нефтегазового бизнеса, Академия наук Республики Башкортостан, Государственное автономное научное учреждение "Институт стратегических исследований Республики Башкорстостан"
·319 Pages
·2017
·4.794 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

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

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

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

book image

Web Services and Formal Methods: 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers

Lhouari Nourine, Farouk Toumani (auth.), Maurice H. ter Beek, Niels Lohmann (eds.)
·159 Pages
·2013
·2.849 MB

book image

Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers

Richard Hull, Elio Damaggio, Fabiana Fournier (auth.), Mario Bravetti, Tevfik Bultan (eds.)
·198 Pages
·2011
·4.034 MB

book image

Applied Formal Methods — FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7–9, 1998 Proceedings

Egon Börger (auth.), Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann (eds.)
·391 Pages
·1999
·21.617 MB