Holdings: Automated theorem proving in software engineering /

Main Author:	Schumann, Johann M., 1960-
Format:	Book
Language:	English
Published:	Berlin ; New York : Springer, c2001.
Subjects:	Software engineering Automatic theorem proving

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