Description: Formal development of programs and proofs/

Other Authors:	Dijkstra, Edger W.
Format:	Book
Language:	English
Published:	Massachusetts: Addison- Wesley, 1990
Subjects:	Electronic digital computers > Programming

Physical Description:	242σ. ; 24εκ
Bibliography:	Περιέχει βιβλιογραφία και ευρετήριο
ISBN:	0201172372