Image from Google Jackets

Applied formal verification Douglas L. Perry, Harry D. Foster

By: Contributor(s): Publication details: New York McGraw Hill 2005Description: xiv, 237 p. : ill. ; 24 cmISBN:
  • 9780071443722
ISSN:
  • 2005047881
Subject(s): DDC classification:
  • 621.3815 PER
Item type: Books
Tags from this library: No tags from this library for this title.
Star ratings
    Average rating: 0.0 (0 votes)

Includes bibliographical references (p. 227-229) and index

There are no comments on this title.

to post a comment.

Find us on the map

Powered by Koha