Algebraic semantics of imperative programs :: Joseph Goguen :: ISBN 026207172X :: MIT Press 1996 :: OBNB, the Open British National Bibliography

Publication Data

Title Algebraic semantics of imperative programs
Author Joseph Goguen
Contributor Grant Malcolm
Publisher MIT Press
Publication date 1996
Publication location Cambridge, Mass.
Language English

Descriptive Notes

Bibliography: p[223]-225. - Includes index.

Topics

Programming languages (Electronic computers)
Algebra

Catalogue Data

OBNB ID GB9664128
ISBN 10 026207172X
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.131

ISBD

P1053 vii,228p.
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Algebraic semantics of imperative programs by Joseph Goguen. ISBN 026207172X. Published by MIT Press in 1996. Publication and catalogue information, links to buy online and reader comments.