Image from Google Jackets

Advanced formal verification edited by Rolf Drechsler

Contributor(s): Publication details: Boston Kluwer Academic Publishers 2004Description: xxv, 249 p. : ill. ; 25 cmISBN:
  • 9781402077210
ISSN:
  • 2003064115
Subject(s): DDC classification:
  • 621.381548 DRE
Item type: Books
Tags from this library: No tags from this library for this title.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Current library Call number Status Date due Barcode
Anna Centenary Library 621.381548 DRE (Browse shelf(Opens below)) Available 208870

Includes bibliographical references and index

There are no comments on this title.

to post a comment.

Find us on the map

Powered by Koha