Jump to main content

yr 〜
yr

Search results 4

Mathematics of program construction : 9th international conference, MPC 2008 : Marseille, France, July 15-18, 2008 : proceedings. : Jul 2008, Marseille, France. (Lecture Notes in Computer Science ; 5133)

Mathematics of program construction : 9th international conference, MPC 2008 : Marseille, France, July 15-18, 2008 : proceedings. : Jul 2008, Marseille, France. (Lecture Notes in Computer Science ; 5133)
Paper図書
Springerc2008.<M17-08-1883>
National Diet Library
  • Author Heading... International Conference on Mathematics of Program Construction, MPC (9th : 2008 : Marseille,...

Mathematics of program construction : 375th anniversary of the Groningen University, international conference, Groningen, the Netherlands, June 26-30, 1989 : proceedings / J.L.A. van de Snepscheut (ed.). (Lecture notes in computer science)

Mathematics of program construction : 375th anniversary of the Groningen University, international conference, Groningen, the Netherlands, June 26-30, 1989 : proceedings / J.L.A. van de Snepscheut (ed.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1989.<M15-A4999>
National Diet Library
  • Note (General)Papers presented at the Conference on Mathematics of Program Construction, held June 26-30, 1989, Groni...
  • Author Heading... te Groningen. Conference on Mathematics of Program Construction (1989 : Groningen, Netherland...

Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings / R.S. Bird, C.C. Morgan, J.C.P. Woodcock (eds.). (Lecture notes in computer science)

Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings / R.S. Bird, C.C. Morgan, J.C.P. Woodcock (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1993.<M15-A8715>
National Diet Library
  • Author HeadingConference on Mathematics of Program Construction (2nd : 1992 : Oxford, U.K.) B...

Mathematics of program construction : 375th anniversary of the Groningen University, International Conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings : gw : us

Mathematics of program construction : 375th anniversary of the Groningen University, International Conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings : gw : us
Paper図書
J.L.A. van de Snepscheut (ed.)Springer-Verlagc1989
Other Libraries in Japan
  • Note (General)"Papers presented at the Conference on Mathematics of Program Construction, held June 26-30, 1989, Groni...
  • Author HeadingConference on Mathematics of Program Construction Snepscheut, Jan L. A. van de

Reached to the end of result.

RSS