Systems and Software Verification Model-Checking Techniques and Tools B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, Ph. Schnoebelen

By: Bérard, Beatrice [aut]
Material type: TextTextPublisher: Berlin ; New York : Springer, c2001ISBN: 3540415238 (alk. paper)DDC classification: 005.1/4 Online resources: Publisher description | Table of contents only
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current location Call number Status Date due Barcode Item holds
Book Book Library
005 (Browse shelf) Available AT-ISTA#000010
Total holds: 0

There are no comments for this item.

to post a comment.

Powered by Koha