D. Bjorner

Identifiers

Open LibraryOL2679511A

Top Subjects

Computers - Languages / Programming (2)
Software (1)
Computers / Programming / Software Development (1)
Programming - Software Development (1)
Logic Design (1)
Congresses (1)
Computer software (1)

Books by D. Bjorner

Total count: 3

Abstract Software Specifications1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings (Lecture Notes in Computer Science)1 edition

Springer1982-12-14
Vdm'87: Vdm-A Formal Method at WorkVdm-Europe Symposium 1987 (Lecture Notes in Computer Science)

Springer1987-04-01
Vdm '90Vdm and Z-Formal Methods in Software Development (Lecture Notes in Computer Science)

Springer1990-06-01