Predicate calculus and program semantics
by
 
Dijkstra, Edsger Wybe.

Title
: 
Predicate calculus and program semantics

Author
: 
Dijkstra, Edsger Wybe.

ISBN
: 
9780387969572

Publication Information
: 
New York : Springer, 1990.

Physical Description
: 
xi, 222 s.

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

Added Author
: 
Scholten, C. S., ort. yaz.


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Beytepe LibraryBook7.2/12/574010QA 9.35 D55 1990Beytepe Genel Koleksiyon