Normal view MARC view ISBD view

Software verification and analysis : an integrated, hands-on approach

By: Laski, Janusz.
Contributor(s): Stanley, William.
Material type: materialTypeLabelBookPublisher: Dordrecht: Springer, 2009Description: xviii, 224 p.; ill.: 24 cm.ISBN: 9781848822399 .Subject(s): Computer software -- VerificationDDC classification: 005.14
Tags from this library: No tags from this library for this title. Log in to add tags.

Powered by Koha