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

362 pages paperback

1 edition

nonfiction computer science informative medium-paced
More Options

Read With Others

Book Information

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...

Show More

Community Reviews

Loading...

Content Warnings

Loading...