Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
2 Results Found Subscribe to search results
00DEFAULT
Print
1. 
Cover image for Predicate calculus and program semantics
Predicate calculus and program semantics
Author 
Dijkstra, Edsger Wybe. Scholten, C. S., ort. yaz.
Preferred Shelf Number 
QA 9.35 D55 1990
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2. 
Cover image for Semantics-directed compiler generation : proceedings of a workshop, Aarhus, Denmark, January 14-18
Semantics-directed compiler generation : proceedings of a workshop, Aarhus, Denmark, January 14-18
Preferred Shelf Number 
QA 76.6 S521 1980
Format: 
Availability 
Beytepe Library~1
Available:
Copies: