Charatan,Quentin Formal Software Development - China Palgrava 2004 - xii,238 Subjects--Topical Terms: Data programming Dewey Class. No.: 005.1 C469F