Normal view MARC view ISBD view

Systems and software verification : model-checking techniques and tools

Material type: materialTypeLabel

BookPublisher: Berlin: Springer, 2010Description: xii, 190 p.; ill.: 24 cm.ISBN: 9783642074783 .Subject(s): Computer software -- Verification | Computer systems -- VerificationDDC 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		005.14 BER (Browse shelf)	Available		025962

Previous								Next
Previous	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	005.14 CAC Introduction to reliable and secure distributed programming	Next

There are no comments for this item.

Koha online