Record Details
  « New Search    
Bibliographic Data
Control NumberUPD-00000175434
Date and Time of Latest Transaction20090716221711.0
General Information060721s2005 nyua b 001 0 eng
International Standard Book Number007144372X
Cataloging SourceDENG
Language Codeeng
Local Call NumberTK 7874.58 P47 2005
Main Entry - Personal NamePerry, Douglas L.
Title StatementApplied formal verification / Douglas L. Perry, Harry D. Foster
Physical Descriptionxiv, 237 p. : ill
Subject Added Entry - Topical TermIntegrated circuits -- Verification
 Electronic circuits -- Testing
Added Entry - Personal NameFoster, Harry, 1956-.
Collection CategoryFO
LocationUP DENG-II TK 7874.58 P47 2005 UDEGB0047276 Regular Circulation E-34900
Textual Physical Form DesignatorBook
Physical Location
University of the Philippines
Diliman: College of Engineering Library IITK 7874.58 / P47 2005
Digital Copy
Not Available
Online Catalog
Basic Search
Advanced Search
Browse Subjects
Book Cart

Text Size:
S  -  M  -  L
Copyright © 2004-2024. Philippine eLib Project
Host: U.P. Diliman University Library