Jump to main content

yr 〜
yr

Search results 5

Computational category theory

Computational category theory
Paper図書
David E. Rydeheard, Rod M. BurstallPrentice Hall1988
Other Libraries in Japan
  • Author HeadingRydeheard, D. E. (David E.) Burstall, Rod M.

A study in the foundations of programming methodology : specifications, institutions, charters and parchments

A study in the foundations of programming methodology : specifications, institutions, charters and parchments
Paper図書
by Joseph A. Goguen and R.M. BurstallCenter for the Study of Language and Information1986
Other Libraries in Japan
  • Author HeadingGoguen, Joseph Burstall, Rod M. Stanford University. Center f...

Institutions : abstract model theory for computer science

Institutions : abstract model theory for computer science
Paper図書
by J.A. Goguen and R.M. BurstallCenter for the Study of Language and Information1985
Other Libraries in Japan
  • Author HeadingGoguen, Joseph Burstall, Rod M. Stanford University. Center f...

Programming in POP-2

Programming in POP-2
Paper図書
[by] R. M. Burstall, J. S. Collins [and] R. J. PopplestoneEdinburgh University Press1971
Other Libraries in Japan
  • Author HeadingBurstall, Rod M. Collins, John Stuart Popplest...

Computer programming for schools : first steps in Algol

Computer programming for schools : first steps in Algol
Paper図書
Donald Michie, Andrew Ortony, R.M. BurstallOliver & Boyd1968
Other Libraries in Japan
  • Author HeadingMichie, Donald Ortony, Andrew Burstall, Rod M.

Reached to the end of result.

RSS