本文に飛ぶ

年 〜
年

検索結果 5 件

Concurrency, compositionality, and correctness : essays in honor of Willem-Paul de Roever / Dennis Dams, Ulrich Hannemann, Martin Steffen (eds.). (Lecture notes in computer science ; 5930 ; Festschrift)

Concurrency, compositionality, and correctness : essays in honor of Willem-Paul de Roever / Dennis Dams, Ulrich Hannemann, Martin Steffen (eds.). (Lecture notes in computer science ; 5930 ; Festschrift)
紙図書
Springerc2010.<M154-B107>
国立国会図書館
  • 著者標目Dams, Dennis. Roever, W. P. de (Willem Paul...

FM 2009: formal methods : second world congress : Eindhoven, the Netherlands, November 2-6, 2009 : proceedings. : 16th international symposium on formal methods : Nov 2009, Eindhoven, the Netherlands. (Lecture Notes in Computer Science ; 5850)

FM 2009: formal methods : second world congress : Eindhoven, the Netherlands, November 2-6, 2009 : proceedings. : 16th international symposium on formal methods : Nov 2009, Eindhoven, the Netherlands. (Lecture Notes in Computer Science ; 5850)
紙図書
Springerc2009.<M17-10-1647>
国立国会図書館
  • 著者標目Cavalcanti, Ana. Dams, Dennis. International Symposium of Fo...

Concurrency, compositionality, and correctness : essays in honor of Willem-Paul de Roever

Concurrency, compositionality, and correctness : essays in honor of Willem-Paul de Roever
紙図書
Dennis Dams, Ulrich Hannemann, Martin Steffen (eds.)Springerc2010
全国の図書館

FM 2009 : formal methods : second world congress, Eindhoven, the Netherlands, November 2-6, 2009 : proceedings

FM 2009 : formal methods : second world congress, Eindhoven, the Netherlands, November 2-6, 2009 : proceedings
紙図書
Ana Cavalcanti, Dennis Dams (eds.)Springerc2009
全国の図書館

Theoretical and practical aspects of SPIN model checking : 5th and 6th International SPIN workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings

Theoretical and practical aspects of SPIN model checking : 5th and 6th International SPIN workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings
紙図書
Dennis Dams ... [et al.], (eds.)Springerc1999
全国の図書館

検索結果は以上です。

RSS