|
|
|
|
| LEADER |
00867nam a2200265 a 4500 |
| 001 |
000000043413 |
| 003 |
OSt |
| 005 |
20160720150513.0 |
| 008 |
160720b nyu||||| |||| 00| 0 eng d |
| 020 |
|
|
|a 0-521-44336-9
|
| 040 |
|
|
|a Sistema de Bibliotecas UNAH
|
| 082 |
0 |
|
|a 621.395-S79
|
| 100 |
1 |
|
|a Stavridou, V.
|
| 245 |
1 |
0 |
|a Formal methods in circuit desing
|c V. Stavridou
|
| 250 |
|
|
|a 1st ed.
|
| 260 |
|
|
|c 1993
|a New York
|b Cambridge University
|
| 300 |
|
|
|a xiii, 193 p.
|b il.
|c 26 cm.
|
| 490 |
0 |
|
|a (Cambridge tracts in theoretical computer science
|v 37)
|
| 504 |
|
|
|a Bibliografía: p. 171-190
|
| 650 |
|
4 |
|a CIRCUITOS DE COMPUTADORAS
|x DISEÑO
|
| 650 |
|
4 |
|a CIRCUITOS LÓGICOS
|x DISEÑO
|
| 650 |
|
4 |
|a ELECTRÓNICA DIGITAL
|
| 942 |
|
|
|2 ddc
|c LB
|
| 999 |
|
|
|c 43413
|d 43413
|
| 952 |
|
|
|0 0
|1 0
|2 ddc
|4 0
|6 621_000000000000000_395S79
|7 0
|9 133257
|a CG
|b BC
|l 0
|o 621.395-S79
|p 393368
|y LB
|