EKB DL

Abstract Software Specifications 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings | EKB DL

EKB DL

Home BookAbstract Software Specifications 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings

Abstract Software Specifications 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings

Description

Abstract Software Specifications: 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings (Lecture Notes in Computer Science) [paperback] Bjorner, D. [Dec 14, 1982]

Keywords

ComputersSoftware Development & EngineeringInformation Technology

1980Book

Author(s)Copenhagen Winter School on Abstract Software Specifications (1979)

PublisherSpringer Berlin Heidelberg

ISBN9783540100072

LanguageEnglish

SpringerLink Book

Similar Books

Book

Program Specification Proceedings of a Workshop Aarhus, Denmark, August 1981

Book

Language Design and Programming Methodology Proceedings of a Symposium, Held in Sidney, Australia, September 10-11, 1979

Book

The Use of Formal Specification of Software June 25–27, 1979, Berlin

Book

Specification and Design of Software Systems: Conference on Operating Systems. Visegrad, Hungary, January 23-27, 1982; Proceedings (Lecture Notes in Computer Science, 152)

Book

Theoretical Foundations of Programming Methodology (NATO Science Series C: )

Book

Recent Trends in Data Type Specification 3rd Workshop on Theory and Applications of Abstract Data Types Selected Papers

Book

Recent Trends in Data Type Specification 8th Workshop on Specification of Abstract Data Types Joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991. Selected Papers

Book

Programming Languages and Their Definition Selected Papers

Book

Recent Trends in Data Type Specification Fifth Workshop on Specification of Abstract Data Types. Gullane, Scotland, September 1-4, 1987. Selected Papers

Book

Semantics of Concurrent Computation: Proceedings of the International Symposium Evian, France, July 2-4, 1979 (Lecture Notes in Computer Science, 70) (English and French Edition)