Record Details
 
  « New Search    
   
 
Bibliographic Data
Control Number59735
Date and Time of Latest Transaction20160711062123.AM
General Information160711s |||||||||b ||00|||
International Standard Book Number0821865943
Cataloging SourceNRCP-DOST
Local Call NumberTK7874 .D553 1990
Main Entry - Personal NameClarke, E. M.,
 Kurshan, R. P.,
Main Entry - Meeting NameCAV (Conference)
Title StatementComputer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990 / E.M. Clarke, R.P. Kurshan, editors
Physical Descriptionxii, 628 p. : ill. ; 27 cm
Subject Added Entry - Topical TermDigital integrated circuits -- Computer-aided design
 Integrated circuits -- Verification
LocationDOST NRCP TK7874 .D553 1990 BOOKS (R) 5000261 1 0000-00-00
 
     
 
Physical Location
Department of Science and Technology
National Research Center of the PhilippinesTK7874 .D553 1990
 
     
 
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