yr 〜
yr

Search results 5

FM 2008 : formal methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 : proceedings

FM 2008 : formal methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 : proceedings
Paper図書
Jorge Cuellar, Tom Maibaum, Kaisa Sere (eds.)Springerc2008
Other Libraries in Japan
  • Author Heading..., Thomas S. E. Sere, K. (Kaisa)

Integrated formal methods : third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings

Integrated formal methods : third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings
Paper図書
Michael Butler, Luigia Petre, Kaisa Sere (eds.)Springerc2002
Other Libraries in Japan
  • Author Heading... Petre, Luigia Sere, K. (Kaisa)

FM 2008: formal methods : 15th international symposium on formal methods : Turku, Finland, May 26-30, 2008 : proceedings. : formal methods conferences : May 2008, Turku, Finland. (Lecture Notes in Computer Science ; 5014)

FM 2008: formal methods : 15th international symposium on formal methods : Turku, Finland, May 26-30, 2008 : proceedings. : formal methods conferences : May 2008, Turku, Finland. (Lecture Notes in Computer Science ; 5014)
Paper図書
Springerc2008.<M17-08-1784>
National Diet Library
  • Author Heading...s S. E., 1947- Sere, K. (Kaisa) , 1954- Formal Methods Europe...

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

Program development by refinement : case studies using the B method : pbk
Paper図書
E. Sekerinski and K. Sere (eds.)Springer-Verlagc1999
Other Libraries in Japan
  • Author HeadingSekerinski, E. (Emil) Sere, K. (Kaisa)

Integrated formal methods : third international conference, IFM 2002, Turku, Finland, May 15-18, 2002, proceedings. : May 2002, Turku, Finland. (Lecture Notes in Computer Science ; 2335)

Integrated formal methods : third international conference, IFM 2002, Turku, Finland, May 15-18, 2002, proceedings. : May 2002, Turku, Finland. (Lecture Notes in Computer Science ; 2335)
Paper図書
Springer2002.<M17-03-56>
National Diet Library
  • Author Heading... Luigia, 1974- Sere, K. (Kaisa) , 1954- Turku Centre for Comp...

Reached to the end of result.