Back to top
View the classic catalog.
Languages & Display
English
Español
Display
Stoneham Public Library
Dark Mode
Navigation
Library Website
Calendar
Digital Resources
Sign in
Your Account
Library Home Page
Library Hours & Location
Change Catalog
Help
Display Options
Languages
English
Español
Sign Out
Look for
Keyword
Title
Start of Title
Series
Author
Subject
Call Number
Advanced Search
in Library Catalog
in Online Collection
in Articles & Databases
in Lists
in History & Archives
Search
Browse
»
Predicate calculus and program semantics
Predicate calculus and program semantics
Author
Dijkstra, Edsger Wybe
Publisher
Springer-Verlag
Publication Date
c1990
Language
English
Book
Show Edition
Available from another library
Where is it?
See Full Copy Details
Place Hold
Add to List
SHARE
Description
Loading Description...
NoveList
Published Reviews
Table of Contents
Loading Table Of Contents...
Excerpt
Loading Excerpt...
Author Notes
Loading Author Notes...
Subjects
Subjects
Predicate calculus
Programming languages (Electronic computers)
Programming languages (Electronic computers) -- Semantics
Semantics
More Details
Contributors
Scholten, Carel S
ISBN
9780387969572
Staff View
Loading Staff View.
Loading, please wait
...
