Normal view MARC view ISBD view

Predicate calculus and program semantics

Dijkstra, Edsger W.

Predicate calculus and program semantics - - New York Springer-Verlag, 1990 - x,220 p. 23 cm - .

ISBN: 0-387-96957-84

Subjects--Topical Terms:

Predicate calculus
Programming languages (Electronic computers)-Semantics

Universal Decimal Class. No.: 681.3.06:517.1 Dij

Print
Add to your cart (remove)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)