Holdings: Principles of model checking/

Main Author:	Baier, Christel
Other Authors:	Katoen, Joost-Pieter
Format:	Book
Language:	English
Published:	Cambridge, Mass. London: MIT Press, [2008?]
Subjects:	Υπολογιστικά συστήματα > Επαλήθευση Ηλεκτρονικοί υπολογιστές > Λογισμικό

Βιβλιοθήκη	Ταξιθετικός αριθμός	Αριθμός Αντιτύπων	Πληροφορίες	Κατάσταση
Ιόνιο Πανεπιστήμιο	004.24 BAI	2	Προβολή	OPAC