Skip to content

NovaLib

Sample Page
library

NovaLib

Sample Page

Library / Author / D. Bjørner

Books by author

D. Bjørner

VDM '90 VDM and Z — Formal Methods in Software Development: Third International Symposium of VDM Europe Kiel, FRG, April 17–21, 1990 Proceedings

VDM '90 VDM and Z — Formal Methods in Software Development: Third International Symposium of VDM Europe Kiel, FRG, April 17–21, 1990 Proceedings

1990 · ENGLISH · PDF

View details →

Towards a Formal Description of Ada

Towards a Formal Description of Ada

1980 · ENGLISH · PDF

View details →

Towards a Formal Description of Ada

Towards a Formal Description of Ada

1980 · ENGLISH · DJVU

View details →

VDM '90 VDM and Z — Formal Methods in Software Development: Third International Symposium of VDM Europe Kiel, FRG, April 17–21, 1990 Proceedings

VDM '90 VDM and Z — Formal Methods in Software Development: Third International Symposium of VDM Europe Kiel, FRG, April 17–21, 1990 Proceedings

1990 · ENGLISH · DJVU

View details →

Copyright © 2026 NovaLib | Powered by Astra WordPress Theme