Koha online

Normal view MARC view ISBD view

Berard, Beatrice

Systems and software verification : model-checking techniques and tools - Berlin: Springer, 2010 - xii, 190 p.; ill.: 24 cm.

ISBN: 9783642074783 (pbk)

Subjects--Topical Terms:
Computer software -- Verification
Computer systems -- Verification

Dewey Class. No.: 005.14 / BER