Holdings: Temporal verification of reactive systems :

Main Author:	Manna, Zohar
Other Authors:	Pnueli, Amir
Format:	Book
Language:	English
Published:	New York : Springer, c1995
Subjects:	Computer software > Verification

Βιβλιοθήκη	Ταξιθετικός αριθμός	Αριθμός Αντιτύπων	Πληροφορίες	Κατάσταση
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών	005.14 ManZ t 1995	2	Προβολή	OPAC