Boer, Frank S. de

ID:DA16101743

別名: De Boer, Frank S.

同姓同名の著者を検索

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

1

FM 2015 : formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015 : proceedings

Nikolaj Bjørner, Frank de Boer (eds.)

Springer c2015 Lecture notes in computer science 9109 . LNCS sublibrary ; SL 2 . Programming and software engineering

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

Verification of sequential and concurrent programs

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog

Springer c2009 3rd, extended ed Texts in computer science

所蔵館2館
4

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

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

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館

Boer, Frank S. de

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

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

関連著者