00713nam a22002177a 4500
AR_CdUFM
20160908122751.0
110509s1993 enk||||| |||| 00| 0 eng d
0521443369
AR_CdUFM
AR_CdUFM
16503
Stavridou, V.
(Victoria)
Formal methods in circuit design /
V. Stavridou.
Cambridge :
Cambridge University,
1993.
xiii, 193 p. :
il. ;
26 cm.
Cambridge tracts in theoretical computer science ;
37
Incluye referencias bibliográficas (p. 171-190) e índice.
Asistencia de diseños.
Design aids.
LIBRO
MCR
2011-05-09
0
0
CCS
0
0
MMA
MMA
4
2008-06-09
FOMEC/Comp.
0
C B6.3 S798
13997
2023-01-24
2008-06-09
LIBRO
5493
5493