Amazon cover image
Image from Amazon.com

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

By: Contributor(s): Material type: TextTextLanguage: English Series: McGraw-Hill electronic engineering seriesPublication details: New York : McGraw-Hill, c2005.Description: xiv, 237 p. : ill. ; 24 cmISBN:
  • 007144372X (alk. paper)
Subject(s): DDC classification:
  • 621.3815 PER 2005 22
LOC classification:
  • TK7874.58 .P47 2005
Online resources:
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Copy number Status Date due Barcode
Sách, chuyên khảo, tuyển tập Phòng DVTT Tổng hợp Kho tham khảo 621.3815 PER 2005 (Browse shelf(Opens below)) 1 Available A-D0/05196

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

There are no comments on this title.

to post a comment.