Coverart for item
The Resource Logics of Programs Workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983, edited by Edmund Clarke and Dexter Kozen

Logics of Programs Workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983, edited by Edmund Clarke and Dexter Kozen

Label
Logics of Programs Workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983
Title
Logics of Programs Workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983
Statement of responsibility
edited by Edmund Clarke and Dexter Kozen
Creator
Contributor
Subject
Genre
Member of
Series statement
Lecture notes in computer science
Series volume
164
Logics of Programs Workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983, edited by Edmund Clarke and Dexter Kozen
Label
Logics of Programs Workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983, edited by Edmund Clarke and Dexter Kozen
Publication
Note
Cover title: Logics of programs
Related Contributor
Related Location
Related Agents
Related Authorities
Related Subjects
Related Items
Bibliography note
Includes bibliographies
http://library.link/vocab/cover_art
https://contentcafe2.btol.com/ContentCafe/Jacket.aspx?Return=1&Type=S&Value=9780387128962&userID=ebsco-test&password=ebsco-test
Dimensions
25 cm.
http://library.link/vocab/discovery_link
{'f': 'http://opac.lib.rpi.edu/record=b1112740'}
Extent
vi, 527 p.
Isbn
9780387128962
Isbn Type
(U.S.)
Lccn
84-3123
Other physical details
ill.

Library Locations

    • Folsom LibraryBorrow it
      110 8th St, Troy, NY, 12180, US
      42.729766 -73.682577
Processing Feedback ...