Catalog
Bookmarks
0
Course Reserves
My Account
Advanced search
Search in
Keyword
Title
Author/Creator
Subject
Browse by LC Call Number
Browse by Author
Browse by Subject
search for
Search
Search
Advanced search
Start Over
Share
Email
RIS file
Bookmark
Report an Issue
Logics of Programs Workshop, Yorktown Heights, New York, May 1981 / edited by Dexter Kozen
Conference Author
Logics of Programs Workshop (1981 : Yorktown Heights, N.Y)
Published
Berlin ; New York : Springer-Verlag, 1982.
Physical Description
vi, 429 pages : illustrations ; 25 cm.
Additional Creators
Kozen, Dexter, 1951-
Full Text available online
Availability
Browse Nearby on Shelf
I Want It
I Want It
Finding items...
Series
Lecture notes in computer science ; no. 131
Subject(s)
Computer programming
—
Congresses
ISBN
038711212X
Bibliography Note
Includes bibliographies.
View MARC record
| catkey: 717980