FMCO

ID:DA14240953

別名: International Symposium on Formal Methods for Components and Objects

同姓同名の著者を検索

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

1

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館
2

Formal methods for components and objects : 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006 : revised lectures

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

Springer c2007 Lecture notes in computer science 4709

所蔵館4館
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館
5

Formal methods for components and objects : Second International Symposium, FMCO 2003, Leiden, the Netherlands, November 4-7, 2003 : revised lectures

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

Springer c2004 Lecture notes in computer science 3188

所蔵館16館
6

Formal methods for components and objects : first International Symposium, FMCO 2002, Leiden, the Netherlands, November 5-8, 2002 : revised lectures

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

Springer c2003 Lecture notes in computer science 2852

所蔵館20館

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

関連著者

ページトップへ