Sign in
Join Literal
Formal Specification and Software Development
Cliff B. Jones
Want to read
Sign up to use
Cliff B. Jones
Formal Specification and Software Development
Cliff B. Jones,
Dines Bjørner
Want to read
Sign up to use
Want to read
Sign up to use
Overview
Reviews
Highlights
Editions
Formal specification meta-language. VDM and programming languages. VDM and other systems.
Discover more books like Formal Specification and Software Development