Holdings: Formal specification:

Main Author:	Nissanke, Nimal
Format:	Book
Language:	English
Published:	London ; New York: Springer , c1999
Subjects:	Formal methods (Computer science) Application software > Development

Βιβλιοθήκη	Ταξιθετικός αριθμός	Αριθμός Αντιτύπων	Πληροφορίες	Κατάσταση
Πανεπιστήμιο Κύπρου - Ανοιχτό Πανεπιστήμιο Κύπρου	QA76.9.F67N57 1999	1	Προβολή	OPAC