Formal Approaches to Computing and Information Technology (F

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

Proof in VDM: A Practitioner's Guide

Formal Approaches to Computing and Information Technology (F

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

362 pages • missing pub info (editions)

nonfiction computer science informative medium-paced