Holdings: Verification of sequential and concurrent programs /

Main Author:	Apt, Krzysztof R., 1949-
Other Authors:	Olderog, E.-R.
Format:	Book
Language:	English
Published:	New York : Springer, c1997.
Edition:	2nd ed.
Subjects:	Computer software > Verification

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