My Library

Request Add to My Lists Add to Bag MARC Display Return to Browse
   
Limit search to available items
Previous Record Next Record
Resources
More Information
Book Cover
Book

Title Systems and software verification : model-checking techniques and tools / B. Berard,...{et al.}.

Imprint Berlin : Springer , 2001

Copies

Location Call No. Status
 Female Library  QA76.76.V47 S97 2001    Available
Description xii, 190 p.: ill.; 24 cm.
Bibliography Includes bibliographical references and index.
Subject Computer systems -- Verification
Computer software -- Verification
Added Author Berard, B
ISBN 3540415238
Permanent Link