Central Library catalog

Normal view MARC view ISBD view

ACETO, L.&OTHERS

REACTIVE SYSTEMS : MODLING,SPECIFICATION AND VERIFICATION - Cambridge Cambridge University Press 2007 - xvi+284p.,25x17Cms.

ISBN: 0521875462

Dewey Class. No.: 621.38195 A175

Powered by Koha Implemented by Total IT Software Solutions