Image from Google Jackets

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

By: Contributor(s): Material type: TextTextSeries: McGraw-Hill electronic engineering | McGraw-Hill electronic engineering seriesPublication details: New York : McGraw-Hill, c2005.Description: xiv, 237 p. : ill. ; 24 cmISBN:
  • 007144372X
  • 9780071443722
Subject(s):
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 Home library Collection Shelving location Call number Copy number Status Date due Barcode
Open Shelf Open Shelf UMK Kampus Jeli UMK Kampus Jeli DEFAULT Kampus Jeli Open Shelf Level 1 TK7874.58 .P47 2005 (Browse shelf(Opens below)) Available 10309558
References References UMK Kampus Kota UMK Kampus Kota DEFAULT Kampus Kota Reference TK7874.58 .P47 2005 (Browse shelf(Opens below)) 1 Not for loan Damaged 10020844

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

There are no comments on this title.

to post a comment.

©2025 Pustaka Universiti Malaysia Kelantan

THE OFFICE OF LIBRARY AND KNOWLEDGE MANAGEMENT