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

Author(s)

• Goguen, Joseph
• Burstall, Rod M.
• Stanford University. Center for the Study of Language and Information

Bibliographic Information

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

by Joseph A. Goguen and R.M. Burstall

（Report (Center for the Study of Language and Information (U.S.)), no. CSLI-86-54）

Center for the Study of Language and Information, 1986

Note

"June 1986"

Bibliography: p. 23-26

***記述は遡及データによる

Details

• NCID: BA51232539
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Stanford, Calif.
• Pages/Volumes: 26 p.
• Size: 28 cm
• Parent Bibliography ID:
  • BA10949995