Отображение 1 - 8 результаты of 8 для поиска 'Bonsangue, Marcello M.', время запроса: 0.02сек. Отмена результатов
  1. 1
    Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
    по Bonsangue, Marcello M.
    Опубликовано в: Springer e-books (2007)
    Полный текст
    Электронная книга
  2. 2
    Formal Methods for Components and Objects (vol. # 3657) Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
    по Bonsangue, Marcello M.
    Опубликовано в: Springer e-books (2005)
    Полный текст
    Электронная книга
  3. 3
    Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2014)
    Другие авторы: “...Bonsangue, Marcello M....”
    Полный текст
    Электронная книга
  4. 4
    Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures /
    по Boer, Frank S.
    Опубликовано в: Springer eBooks (2007)
    Другие авторы: “...Bonsangue, Marcello M....”
    Полный текст
    Электронная книга
  5. 5
    Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2013)
    Другие авторы: “...Bonsangue, Marcello M....”
    Полный текст
    Электронная книга
  6. 6
    Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures /
    Опубликовано в: Springer eBooks (2013)
    Другие авторы: “...Bonsangue, Marcello M....”
    Полный текст
    Электронная книга
  7. 7
    Formal Methods for Components and Objects (vol. # 4111) 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
    по de Boer, Frank S.
    Опубликовано в: Springer e-books (2006)
    Другие авторы: “...Bonsangue, Marcello M....”
    Полный текст
    Электронная книга
  8. 8
    Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Другие авторы: “...Bonsangue, Marcello M....”
    Полный текст
    Электронная книга
Инструменты поиска: RSS-поток