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
Authentication CodeDMLUC
Local Call NumberTK 7874.58 P47 2005
Main Entry - Personal NamePerry, Douglas L.
Title StatementApplied formal verification / Douglas L. Perry, Harry D. Foster
Publication, Distribution, Etc.New York : McGraw-Hill, c2005
Physical Descriptionxiv, 237 p. : ill
Subject Added Entry - Topical TermIntegrated circuits -- Verification
 Electronic circuits -- Testing
Added Entry - Personal NameFoster, Harry, 1956-.
Collection CategoryFO
FormatMonograph
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