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

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

Saved in:
Bibliographic Details
Main Author: Goguen, Joseph
Other Authors: Malcolm, Grant
Format: eBook
Language:English
Published: Cambridge, Mass. : MIT Press, c1996.
Series:Foundations of computing.
Subjects:
Programming languages (Electronic computers) > Semantics.
Algebra.
Online Access:http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267468
Tags: Add Tag
No Tags, Be the first to tag this record!
Login for hold information

Internet

http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267468

Online Resource - Electronic book

Copy [B446256] Available

Similar Items