Jump to main content

yr 〜
yr

Search results 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
Paper図書
Jayadev Misra, Tobias Nipkow, Emil Sekerinski (eds.)Springerc2006
Other Libraries in Japan
  • Author HeadingFM 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
Paper図書
E. Sekerinski and K. Sere (eds.)Springer-Verlagc1999
Other Libraries in Japan
  • Author HeadingSekerinski, 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)
Paper図書
Springerc2006.<M17-06-3028>
National Diet Library
  • Author Heading... Tobias, 1958- Sekerinski, E. (Emil) , 1963- Formal Methods Europe...

Reached to the end of result.

RSS