Program Development by Refinement: Case Studies Using the B Method
No ratings yet
Jan 1, 2012
·
English
·
Kindle
(388 pages)