Holdings: A programming approach to formal methods /

Main Author:	Casey, Chris
Format:	Book
Language:	English
Published:	London ; New York : McGraw-Hill Book Co., c1994.
Subjects:	Computer programming

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