Algebraic semantics of imperative programs

Saved in:

Bibliographic Details
Main Author:	Goguen, Joseph
Other Authors:	Malcolm, Grant
Format:	Book
Published:	Cambridge, Mass. MIT Press 1996
Series:	Foundations of computing
Subjects:	Programming languages (Electronic computers) > Semantics Algebra
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet