Central Library catalog

Normal view MARC view ISBD view

SCHUMANN, J.M.

AUTOMATED THEOREM PROVING IN SOFTWARE ENGINEERING - NEW YORK Springer 2001 - xiv+228p.,24X16Cms.

ISBN: 3540679898

Dewey Class. No.: 621.3819642 S392

Powered by Koha Implemented by Total IT Software Solutions