Central Library catalog

Normal view MARC view ISBD view

BOCA,P.P. & OTHERS

FORMAL METHODS - STATE OF ART AND NEW DIRECTIONS - VERLAG Springer 2010 - xxiii+273p,.24X16Cms

ISBN: 978184882735

Dewey Class. No.: 621.38195 B664

Powered by Koha Implemented by Total IT Software Solutions