Software for the rewrite rule machine:
Saved in:
Bibliographic Details
Main Authors: Goguen, Joseph 1941-2006 (Author), Meseguer, José (Author)
Format: Book
Language:English
Published: Menlo Park, Calif. 1988
Series:Computer Science Laboratory <Menlo Park, Calif.>: SRI-CSL 88,11
Subjects:
Physical Description:19 S.

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection!