Cover Image

Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 /

Show other versions (1)
Bibliographic Details
Corporate Authors: SpringerLink (Online service), Logics of Programs Workshop
Other Authors: Clarke, Edmund, Kozen, Dexter, 1951-
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer-Verlag, 1984.
Series:Lecture notes in computer science ; 164.
Subjects:
Computer programming > Congresses.
Computer science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Programmation (Informatique) > Congrès.
Logiciels > Congrès.
Electronic books.
Computer programming.
Conference proceedings.
Online Access:Connect to the full text of this electronic book
Search Result 1
Cover Image
Published 1984
Conference Proceeding Book
Show all versions (2)