Normal view MARC view ISBD view

Principles of the Spin model checker

Material type: materialTypeLabel

BookPublisher: London: Springer, 2008Description: xv, 216 p.; ill.: 24 cm.ISBN: 9781846287695 .Subject(s): Computer software -- Verification | SPIN (Computer file)DDC classification: 005.14

Tags from this library: No tags from this library for this title. Log in to add tags.

Item type	Current location	Call number	Status	Date due	Barcode
Books	DAU	005.14 BEN (Browse shelf)	Checked out	07/07/2025	019069

Previous								Next
Previous	005.14 BAR Find the bug : a book of incorrect programs	005.14 BEC Test driven development: by example	005.14 BEI Black box testing : techniques for functional testing of software and systems	005.14 BEN Principles of the Spin model checker	005.14 BER Systems and software verification : model-checking techniques and tools	005.14 BLA Pragmatic software testing : becoming an effective and efficient test professional	005.14 BLA Critical testing processes : plan, prepare, perform, perfect	Next

There are no comments for this item.

Koha online