Sign inJoin
Formal Specification and Software Development
Sign up to use

Audiobook

Libro.fmAudiobooks.com

We may earn a commission. Learn more.

Formal Specification and Software Development

Cliff B. Jones, Dines Bjørner — 1982
Sign up to use
Formal specification meta-language. VDM and programming languages. VDM and other systems.

Audiobook

Libro.fmAudiobooks.com

We may earn a commission. Learn more.

No reviews yet.
Be the first to write one.

No highlights yet.
Be the first to share one.