Skip to:Content
|
Bottom
Cover image for Predicate calculus and program semantics
Title:
Predicate calculus and program semantics
Author:
Dijkstra, Edsger Wybe.
ISBN:
9780387969572
Publication Information:
New York : Springer, 1990.
Physical Description:
xi, 222 s.
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
Book 7.2/12/574010 QA 9.35 D55 1990
Searching...

On Order

Go to:Top of Page