Predicate calculus and program semantics
tarafından
 
Dijkstra, Edsger Wybe.

Başlık
: 
Predicate calculus and program semantics

Yazar
: 
Dijkstra, Edsger Wybe.

ISBN
: 
9780387969572

Yayın Bilgileri
: 
New York : Springer, 1990.

Fiziksel Tanımlama
: 
xi, 222 s.

Konu Terimleri
: 
NİTELEYİCİ HESAP.
 
PROGRAMLAMA DİLİ (ELEKTRONİK BİLGİSAYAR) -- ANLAMBİLİM.

Yazar Ek Girişi
: 
Scholten, C. S., ort. yaz.


KütüphaneMateryal TürüDemirbaş NumarasıYer Numarası[[missing key: search.ChildField.HOLDING]]Durumu/İade Tarihi
Beytepe KütüphanesiKitap7.2/12/574010QA 9.35 D55 1990Beytepe Genel Koleksiyon