Holdings: Predicate calculus and program semantics /

Main Author:	Dijkstra, Edsger Wybe
Other Authors:	Scholten, Carel S.
Format:	Book
Language:	English
Published:	New York : Springer-Verlag, c1990.
Subjects:	Predicate calculus Programming languages (Electronic computers) > Semantics

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