Program Development by Refinement: Case Studies Using the B Method
No ratings yet
Oct 23, 1998
·
English
·
Paperback
(388 pages)