An edition of Logics of Programs
(1982)
Logics of Programs
Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983
by D. Kozen
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
| Edition | Availability |
|---|---|
1
Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983
Feb 01, 1984, Springer
paperback
3540128964 9783540128960
|
aaaa
|
2
Logics of Programs: Workshop, Yorktown Heights, NY, USA (Lecture Notes in Computer Science)
April 26, 1982, Springer
Paperback
in English
- 1 edition
354011212X 9783540112129
|
zzzz
|
Book Details
Edition Notes
Source title: Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983 (Lecture Notes in Computer Science (164))
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
See All
| October 21, 2021 | Edited by ImportBot | import existing book |
| July 5, 2019 | Edited by MARC Bot | import existing book |
| April 28, 2010 | Edited by Open Library Bot | Linked existing covers to the work. |
| January 15, 2010 | Edited by WorkBot | add subjects and covers |
| December 11, 2009 | Created by WorkBot | add works page |