Skip to content

Home Practice Lessons About

D. Bjorner

Books

VDM '90
Vdm'87: Vdm-A Formal Method at Work
Abstract Software Specifications

Author data: Open Library

Book Glossary · bookglossary.comA nonprofit resource from Dover Public Library and the Tuscarawas County Literacy Coalition.