Algebraic semantics of imperative programs
by
 
Goguen, Joseph.

Title
: 
Algebraic semantics of imperative programs

Author
: 
Goguen, Joseph.

ISBN
: 
9780262288453

Publication Information
: 
Cambridge, Mass. : MIT Press, c1996.

Physical Description
: 
1 online resource (vii, 228 p.) : ill.

Series
: 
Foundations of computing

Series Title
: 
Foundations of computing

Subject Term
: 
Programming languages (Electronic computers) -- Semantics.
 
Algebra.
 
sémantique algébrique.
 
OBJ.
 
programme impératif.
 
Algebraïsche taalkunde.
 
Programmeren (computers)
 
Semantiek.
 
Funktionale Semantik.

Added Author
: 
Malcolm, Grant.

Electronic Access
: 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267468


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book220125-1001ONLINEElektronik Kütüphane