Record Details
 
  « New Search    
   
 
Bibliographic Data
Control Numbernlp00079120
Control Number IdentifierDLC
Date and Time of Latest Transaction20091229135154.0
General Information930716s1994 enka b 001 0 eng
International Standard Book Number007707811X : 29.95
System Control Number(elib)nlp00079120
Cataloging SourceNLP
Library of Congress Call NumberTK 7874.65 .M55 1994
Dewey Decimal Classification NumberRef 621.392 M635f 1994
Main Entry - Personal NameMilne, George J.
Title StatementFormal specification and verification of digital systems / George Milne
Physical Descriptionxiv, 240 p. : ill. ; 24 cm
Subject Added Entry - Topical TermDigital integrated circuits -- Design and construction -- Data processing
 Integrated circuits -- Verification
 Computer hardware description languages
Textual Physical Form DesignatorBook
LocationNLP Reference General Book T.M. Kalaw St. Ermita Manila Ref 621.392 M635f 1994 ph 43520r NLP 74733
  
     
 
Physical Location
National Library of the Philippines
National Library of the Philippines621.392 / M635f
  
     
 
Digital Copy
Not Available
  
     
  |  Download MARC record Download MARC
 
         
         
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