Algebraic semantics of imperative programs / Joseph A. Goguen and Grant Malcolm.

Author
Goguen, Joseph [Browse]
Format
Book
Language
English
Published/​Created
Cambridge, Mass. : MIT Press, c1996.
Description
vii, 228 p. : ill. ; 24 cm.

Details

Subject(s)
Related name
Series
Foundations of computing [More in this series]
Bibliographic references
Includes bibliographical references (p. [223]-225) and index.
ISBN
026207172X (hc : alk. paper)
LCCN
95047440
OCLC
33439655
Statement on language in description
Princeton University Library aims to describe library materials in a manner that is respectful to the individuals and communities who create, use, and are represented in the collections we manage. Read more...
Other views
Staff view

Supplementary Information

Other versions