Logics of Programs Brooklyn, June 17-19, 1985

Keywords

ComputersComputer ArchitectureComputer ScienceInformation TechnologyLogic DesignMachine TheoryProgrammingSoftware Development & EngineeringSystems Analysis & DesignHardwareUser InterfacesMathematicsDiscrete MathematicsLogicReferenceQuestions & Answers

1985Book

Author(s)Rohit Parikh

PublisherSpringer Science & Business Media

ISBN9783540156482

LanguageEnglish

SpringerLink

Similar Books

Book

Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983 (Lecture Notes in Computer Science, 164)

Book

Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980 (Lecture Notes in Computer Science, 148)

Book

Seminar on Concurrency Carnegie-Mellon University Pittsburgh, PA, July 9-11, 1984

Book

Logics of Programs: Workshop, Yorktown Heights, NY, USA (Lecture Notes in Computer Science, 131)

Book

Functional Programming Languages and Computer Architecture Proceedings, Nancy, France, September 16-19, 1985

Book

Computation Theory Fifth Symposium, Zaborow, Poland, December 3-8, 1984 Proceedings

Book

Foundations of Software Technology and Theoretical Computer Science Fourth Conference, Bangalore, India December 13-15, 1984. Proceedings

Book

6th Conference on Automated Deduction: New York, USA, June 7-9, 1982 (Lecture Notes in Computer Science)

Book

Algebraic Semantics (Lecture Notes in Computer Science, 99)

Book

logic-symposia-hakone-1979-1980