Normal view MARC view ISBD view

Systems and software verification : model-checking techniques and tools

By: Berard, Beatrice.
Material type: materialTypeLabelBookPublisher: 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.

Powered by Koha