本文に飛ぶ

年 〜
年

検索結果 3 件

FM 2006 : Formal Methods : 14th International Symposium on Formal Methods Hamilton, Canada, August 21-27, 2006 : proceedings

FM 2006 : Formal Methods : 14th International Symposium on Formal Methods Hamilton, Canada, August 21-27, 2006 : proceedings
紙図書
Jayadev Misra, Tobias Nipkow, Emil Sekerinski (eds.)Springerc2006
全国の図書館
  • 著者標目FM Misra, Jayadev Nipkow, Tobias Sekerinski, E. (Emil)

Program development by refinement : case studies using the B method : pbk

Program development by refinement : case studies using the B method : pbk
紙図書
E. Sekerinski and K. Sere (eds.)Springer-Verlagc1999
全国の図書館
  • 著者標目Sekerinski, E. (Emil) Sere, K. (Kaisa)

FM 2006: formal methods : 14th international symposium on formal methods : Hamilton, Canada, August 21-27, 2006 : proceedings. : Aug 2006, Hamilton, Canada. (Lecture Notes in Computer Science ; 4085)

FM 2006: formal methods : 14th international symposium on formal methods : Hamilton, Canada, August 21-27, 2006 : proceedings. : Aug 2006, Hamilton, Canada. (Lecture Notes in Computer Science ; 4085)
紙図書
Springerc2006.<M17-06-3028>
国立国会図書館
  • 著者標目... Tobias, 1958- Sekerinski, E. (Emil) , 1963- Formal Methods Europe...

検索結果は以上です。

RSS