This is the product description text that will appear here.
Quantity
1
Description
Formal Approaches to Computing and Information Technology (FACIT)Proof in VDM: A Practitioner’s GuideJuan C. Bicarregui | John Fitzgerald | Peter A. Lindsay | Richard Moore | Brian RitchieComputers / Software Development & Engineering /...