Algebraic semantics of imperative programs
tarafından
 
Goguen, Joseph.

Başlık
: 
Algebraic semantics of imperative programs

Yazar
: 
Goguen, Joseph.

ISBN
: 
9780262288453

Yayın Bilgileri
: 
Cambridge, Mass. : MIT Press, c1996.

Fiziksel Tanımlama
: 
1 online resource (vii, 228 p.) : ill.

Seri
: 
Foundations of computing

Seri Başlığı
: 
Foundations of computing

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

Yazar Ek Girişi
: 
Malcolm, Grant.

Elektronik Erişim
: 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267468


KütüphaneMateryal TürüDemirbaş NumarasıYer Numarası[[missing key: search.ChildField.HOLDING]]Durumu/İade Tarihi
Çevrimiçi KütüphaneE-Kitap220125-1001ONLINEElektronik Kütüphane