Central Library catalog

Normal view MARC view ISBD view

BERARD,B. & OTHERS

SYSTEMS AND SOFTWARE VERIFICATION:MODEL-CHECKING TECHNIQUIES AND TOOLS - BERLIN Springer 2001 - xii+190p.,24X15Cms.

ISBN: 3540415238

Dewey Class. No.: 621.3819642 B482

Powered by Koha Implemented by Total IT Software Solutions