Holdings: 1st South - East European workshop on formal methods

Corporate Author:	South - East European Workshop on Formal Methods
Other Authors:	Δρανίδης, Δημήτρης
Format:	Book
Language:	English
Published:	Thessaloniki South East European Research Centre c2004
Subjects:	Τυπικές μέθοδοι (Επιστήμη των υπολογιστών)

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