Holdings: Formal development of programs and proofs /

Other Authors:	Dijkstra, Edsger Wybe
Format:	Book
Language:	English
Published:	Reading, Mass. : Addison-Wesley, c1990.
Subjects:	Computer programming

Βιβλιοθήκη	Ταξιθετικός αριθμός	Αριθμός Αντιτύπων	Πληροφορίες	Κατάσταση
Πανεπιστήμιο Μακεδονίας	-	1	Προβολή	OPAC