Showing 1 - 1 results of 1 for search 'Srivas, Mandayam', query time: 0.01s
Refine Results
-
1
Formal methods in computer-aided design /
Published 1996Other Authors: “…Srivas, Mandayam…”
Call Number: Loading…
Located: Loading…Conference Proceeding Book Loading…
Search Tools:
Related Subjects
Computer-aided engineering
Control structure performance analysis and design
Deduction and theorem proving
Design aids
Hardware-Reliability, testing and fault tolerance
Ingeniería asistida por computadoras
Integrated circuits-Design aids
Integrated circuits-Reliability and testing
Logic design-Reliability and testing
Mathematical logic-Computation
Microprogram design aids
Perfomance analysis and design aids
Program verification
Specifying and verifying and reasoning about programs