Editions

Proof in VDM: A Practitioner's Guide

Current edition

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

Formal Approaches to Computing and Information Technology (F

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

362 pages • paperback

nonfiction computer science informative medium-paced

nonfiction computer science informative medium-paced

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

Formal Approaches to Computing and Information Technology (F

Proof in VDM: A Practitioner's Guide

John Fitzgerald, Juan C. Bicarregui, Peter A. Lindsay

362 pages

nonfiction computer science informative medium-paced

nonfiction computer science informative medium-paced

Other editions (0)