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
Description
Item Description:Proceedings of the Logics of Programs Workshop.
Electronic resource.
Physical Description:1 online resource (vi, 527 pages) : illustrations.
Format:Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Bibliography:Includes bibliographical references.
ISBN:9783540387756 (electronic bk.)
3540387757 (electronic bk.)