A Larch Shared Language handbook

Science of Computer Programming - Tập 6 - Trang 135-157 - 1986
J.V. Guttag1
1MIT Laboratory for Computer Science, Cambridge, MA 02139, U.S.A.

Tài liệu tham khảo

Abrial, 1980 Guttag, 1980, Formal specification as a design tool, 251 Guttag, 1986, Report on the Larch Shared Language, Sci. Comput. Programming, 6, 103, 10.1016/0167-6423(86)90021-3
Thông tin
Thông tin xuất bản

Science of Computer Programming

Tập 6

135-157

Thông tin tác giả