Bonsangue, Marcello M.

ID:DA16101754

同姓同名の著者を検索

検索結果4件中 1-4 を表示

1

Theoretical aspects of computing -- ICTAC 2024 : 21st International Colloquium, Bangkok, Thailand, November 25-29, 2024 : proceedings

Chutiporn Anutariya, Marcello M. Bonsangue, editors

Springer , [2025] , c2025 Lecture notes in computer science 15373

所蔵館1館
2

Formal methods for components and objects : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures

Frank S. de Boer, Marcello M. Bonsangue. Eric Madelaine (eds.)

Springer c2009 Lecture notes in computer science 5751

所蔵館2館
3

Formal methods for components and objects : 4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, revised lectures

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

Springer c2006 Lecture notes in computer science 4111

所蔵館6館
4

Formal methods for components and objects : Third International Symposium, FMCO 2004, Leiden, the Netherlands, November 2-5, 2004 : revised lectures

Frank S. de Boer ... [et al.] (eds.)

Springer c2005 Lecture notes in computer science 3657

所蔵館7館

この著者を外部サイトでさがす

関連著者

ページトップへ