Jump to main content

yr 〜
yr

Search results 5

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...ftware Center. Misra, Jayadev. Nipkow, Tobias, 1958- Sekeri...

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....

A discipline of multiprogramming : programming theory for distributed applications : softcover

A discipline of multiprogramming : programming theory for distributed applications : softcover
Paper図書
Jayadev MisraSpringerc2001
Other Libraries in Japan
  • Author HeadingMisra, Jayadev

Parallel program design : a foundation

Parallel program design : a foundation
Paper図書
K. Mani Chandy, Jayadev MisraAddison-Wesley Pub. Co.1989, c1988
Other Libraries in Japan
  • Author HeadingChandy, K. Mani Misra, Jayadev

Parallel program design : a foundation

Parallel program design : a foundation
Paper図書
K. Mani Chandy, Jayadev MisraAddison-Wesley Pub. Co.c1988
Other Libraries in Japan
  • Author HeadingChandy, K. Mani Misra, Jayadev

Reached to the end of result.

RSS