Coverart for item
The Resource Algebraic semantics of imperative programs, Joseph A. Goguen and Grant Malcolm

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

Label
Algebraic semantics of imperative programs
Title
Algebraic semantics of imperative programs
Statement of responsibility
Joseph A. Goguen and Grant Malcolm
Creator
Contributor
Subject
Language
eng
Cataloging source
DLC
http://library.link/vocab/creatorName
Goguen, Joseph
Illustrations
illustrations
Index
index present
Language note
English
LC call number
QA76.7
LC item number
.G62 1996
Literary form
non fiction
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorName
Malcolm, Grant
Series statement
Foundations of computing
http://library.link/vocab/subjectName
  • Programming languages (Electronic computers)
  • Algebra
Label
Algebraic semantics of imperative programs, Joseph A. Goguen and Grant Malcolm
Instantiates
Publication
Bibliography note
Includes bibliographical references (p. [223]-225) and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
10493430
Dimensions
24 cm.
Extent
vii, 228 p.
Isbn
9780262071727
Lccn
95047440
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
ill.
Label
Algebraic semantics of imperative programs, Joseph A. Goguen and Grant Malcolm
Publication
Bibliography note
Includes bibliographical references (p. [223]-225) and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
10493430
Dimensions
24 cm.
Extent
vii, 228 p.
Isbn
9780262071727
Lccn
95047440
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
ill.

Library Locations

    • Harold Cohen LibraryBorrow it
      Ashton Street, Liverpool, L69 3DA, GB
      53.418074 -2.967913
Processing Feedback ...