Holdings: Principles of model checking /

Main Author:	Baier, Christel
Other Authors:	Katoen, Joost-Pieter.
Format:	Book
Language:	English
Published:	Cambridge, MA : MIT Press, [2008?]
Subjects:	Computer systems > Verification. Computer software > Verification

Βιβλιοθήκη	Ταξιθετικός αριθμός	Αριθμός Αντιτύπων	Πληροφορίες	Κατάσταση
Πανεπιστήμιο Μακεδονίας	QA76.76.V47B35 2008	1	Προβολή	OPAC