Holdings: Program verification /

Main Author:	Francez, Nissim.
Format:	Book
Language:	English
Published:	Wokingham, Eng. ; Reading, Mass. : Addison-Wesley Pub. Co., c1992.
Subjects:	Computer software > Verification

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