Koha online catalog › ISBD view

Normal view MARC view ISBD view

Ben-Ari, Mordechai

Principles of the Spin model checker - London: Springer, 2008 - xv, 216 p.; ill.: 24 cm.

ISBN: 9781846287695 (pbk)

Subjects--Topical Terms:
Computer software -- Verification
SPIN (Computer file)

Dewey Class. No.: 005.14 / BEN

Print
Save record
More searches