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

Algebraic semantics of imperative programs, Joseph A. Goguen and Grant Malcolm, (electronic book)

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
Member of
Cataloging source
IEEEE
http://library.link/vocab/creatorName
Goguen, Joseph
Dewey number
005.13/1
Illustrations
illustrations
Index
index present
LC call number
QA76.7
LC item number
.G62 1996eb
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
Malcolm, Grant
Series statement
Foundations of computing
http://library.link/vocab/subjectName
  • Programming languages (Electronic computers)
  • Algebra
  • sémantique algébrique
  • OBJ
  • programme impératif
  • Langages de programmation
  • Algèbre
Label
Algebraic semantics of imperative programs, Joseph A. Goguen and Grant Malcolm, (electronic book)
Instantiates
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references (p. [223]-225) and index
Color
multicolored
Control code
IEEEMIT827009333
Dimensions
unknown
Extent
1 online resource (vii, 228 p.)
File format
unknown
Form of item
online
Isbn
9780262288453
Level of compression
unknown
Other physical details
ill.
Quality assurance targets
not applicable
Reformatting quality
unknown
Reproduction note
Electronic resource.
Sound
unknown sound
Specific material designation
remote
System control number
ocn827009333
Label
Algebraic semantics of imperative programs, Joseph A. Goguen and Grant Malcolm, (electronic book)
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references (p. [223]-225) and index
Color
multicolored
Control code
IEEEMIT827009333
Dimensions
unknown
Extent
1 online resource (vii, 228 p.)
File format
unknown
Form of item
online
Isbn
9780262288453
Level of compression
unknown
Other physical details
ill.
Quality assurance targets
not applicable
Reformatting quality
unknown
Reproduction note
Electronic resource.
Sound
unknown sound
Specific material designation
remote
System control number
ocn827009333

Library Locations

Processing Feedback ...