Home | Help | New Search | 中文模式

AS Library Service 


Start Over Hold this item Export MARC Display Another Search
   
Record:   Prev Next
Author Dijkstra, Edsger Wybe
Title Predicate calculus and program semantics / Edsger W. Dijkstra, Carel S. Scholten
Imprint New York : Springer-Verlag, c1989
 book jacket
LOCATION CALL # STATUS OPACMSG BARCODE
 Inform. Sci. Series  Ser F3.2 D5755    AVAILABLE    30330000071881
 Mathematics Library  QA9.35 D55 1989    AVAILABLE    30340200240038
Descript x, 220 p. ; 25 cm
Series Texts and monographs in computer science
Subject Predicate calculus
Programming languages (Electronic computers) -- Semantics
Semantics of program iis
Alt Author Scholten, Carel S
Record:   Prev Next
Start Over Hold this item Export MARC Display Another Search


Home | Help | 中文模式