Holdings: Programming and verifying asynchronous systems/

Main Author:	Κοτρώνης, Γιάννης, 1952-
Corporate Author:	University of Newcastle. Computing Laboratory
Format:	Book
Language:	English
Published:	[Newcastle]: [s.n.], 1982
Subjects:	Computer software Computer programming

Βιβλιοθήκη	Ταξιθετικός αριθμός	Αριθμός Αντιτύπων	Πληροφορίες	Κατάσταση
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών	ΔΔ 005.3 ΚοτΓ p 1982	1	Προβολή	OPAC