Holdings: 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

Βιβλιοθήκη	Ταξιθετικός αριθμός	Αριθμός Αντιτύπων	Πληροφορίες	Κατάσταση
ΤΕΙ Ανατολικής Μακεδονίας & Θράκης	005.1 FOR	17	Προβολή	OPAC