The formal semantics of programming languages an introduction
tarafından
 
Winskel, G. (Glynn)

Başlık
: 
The formal semantics of programming languages an introduction

Yazar
: 
Winskel, G. (Glynn)

ISBN
: 
9780262291453

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

Fiziksel Tanımlama
: 
1 online resource (xviii, 361 p.) : ill.

Seri
: 
Foundations of computing

Seri Başlığı
: 
Foundations of computing

Konu Terimleri
: 
Programming languages (Electronic computers) -- Semantics.
 
Semántica.
 
programmation parallèle.
 
sémantique dénotationnelle.
 
lambda calcul.
 
récursion.
 
équation récursive.
 
théorie domaine.
 
théorème Gödel.
 
induction.
 
sémantique opérationnelle.
 
sémantique langage programmation.
 
langage programmation.
 
sémantique formelle.
 
Programmeertalen.
 
Semantiek.
 
Formale Semantik.

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


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