Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

D. Bjorner | lit.salon

Author

D. Bjorner

3 works

1982–1990 across 3 dated works

No biography is available yet.

Start with

Abstract Software Specifications: 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings (Lecture Notes in Computer Science)1982
Vdm'87: Vdm-A Formal Method at Work : Vdm-Europe Symposium 1987 (Lecture Notes in Computer Science)1987
VDM '90: VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 proceedings1990
With VDM-Europe. International Symposium, C. A. R. Hoare

Books

3 works

Featured (3)Featured (3)All (3)All (3)

Search booksSort books

VDM '90: VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 proceedings1990
With VDM-Europe. International Symposium, C. A. R. Hoare
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Vdm'87: Vdm-A Formal Method at Work : Vdm-Europe Symposium 1987 (Lecture Notes in Computer Science)1987
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Abstract Software Specifications: 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings (Lecture Notes in Computer Science)1982
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around D. Bjorner.

The conversation is still open.

There is no public salon activity to show for D. Bjorner yet.