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

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

Book

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

Book

Sparse Matrix Techniques: Copenhagen 1976 (Lecture Notes in Mathematics, 572)

Book

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

Book

Programming Languages and Their Definition Selected Papers

Book

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

Book

Mathematical Foundations of Computer Science 1979 8th Symposium, Olomouc Czechoslovakia, September 3-7, 1979. Proceedings

Book

Compiler Specification and Verification (Lecture Notes in Computer Science, 124)

Book

Distributed Systems: Methods and Tools for Specification. An Advanced Course (Lecture Notes in Computer Science, 190)

Book

Algorithms in Modern Mathematics and Computer Science: Proceedings, Urgench, Uzbek SSR September 16-22, 1979 (Lecture Notes in Computer Science, 122)