01447nam a22003977a 4500
AR_CdUFM
20160908123254.0
120222s1996 gw||||| |||| 00| 0 eng d
3540619372
AR_CdUFM
FMCAD
(1º :
1996 :
Palo Alto, CA, USA)
Formal methods in computer-aided design /
ed. Mandayam Srivas, Albert Camilleri.
Berlin :
Springer,
1996.
ix, 470 p. :
il. ;
24 cm.
Lecture notes in computer science ;
v. 1166
LNCS ;
v. 1166
Control structure performance analysis and design.
Microprogram design aids.
Deduction and theorem proving.
Program verification.
Computer-aided engineering.
Ingeniería asistida por computadoras.
Perfomance analysis and design aids.
Hardware-Reliability, testing and fault tolerance.
Logic design-Reliability and testing.
Design aids.
Integrated circuits-Design aids.
Integrated circuits-Reliability and testing.
Specifying and verifying and reasoning about programs.
Mathematical logic-Computation.
16465
Srivas, Mandayam,
ed.
2603
Camilleri, Albert,
ed.
LIBRO
AB
MCR
2012-02-22
0
0
0
0
MMA
MMA
LN
2008-06-09
FOMEC/Comp.
1
C LNCS v. 1166
14961
2013-08-23
2010-08-27
2008-06-09
LIBRO
8199
8199