Record Details
 
  « New Search    
   
 
Bibliographic Data
Control Number9196
Date and Time of Latest Transaction20130920014438.AM
General Information130920s |||||||||b ||00|||
International Standard Book Number007707811
Cataloging SourceSTII-DOST
Language Codeeng
Local Call NumberTK7874.65.M55 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
 Integrated circuits -- Verification
 Computer hardware description languages
LocationDOST STII TK7874.65.M55 1994 BOOKS (F) 1002377 1 9-3180 P 1999-03-15
  
     
 
Physical Location
Department of Science and Technology
Science and Technology Information InstituteTK7874.65.M55 1994
  
     
 
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