Proof in VDM: A Practitioner's Guide by Peter A. Lindsay, John Fitzgerald, Juan C. Bicarregui

362 pages missing pub info (editions)

nonfiction computer science informative medium-paced
Powered by AI (Beta)
Loading...

Description

Formal specifications were first used in the description of program- ming languages because of the central role that languages and their compilers play in causing a machine to perform the computations required by a programmer. In a relatively shor...

Read more

Community Reviews

Loading...

Content Warnings

Loading...