|
|
|
|
LEADER |
00000nam a22000007a 4500 |
003 |
AR_CdUFM |
005 |
20160908123254.0 |
008 |
120222s1996 gw||||| |||| 00| 0 eng d |
020 |
|
|
|a 3540619372
|
040 |
|
|
|a AR_CdUFM
|
111 |
2 |
|
|a FMCAD
|n (1º :
|d 1996 :
|c Palo Alto, CA, USA)
|
245 |
1 |
0 |
|a Formal methods in computer-aided design /
|c ed. Mandayam Srivas, Albert Camilleri.
|
260 |
|
|
|a Berlin :
|b Springer,
|c 1996.
|
300 |
|
|
|a ix, 470 p. :
|b il. ;
|c 24 cm.
|
490 |
0 |
|
|a Lecture notes in computer science ;
|v v. 1166
|
490 |
0 |
|
|a LNCS ;
|v v. 1166
|
650 |
|
4 |
|a Control structure performance analysis and design.
|
650 |
|
4 |
|a Microprogram design aids.
|
650 |
|
4 |
|a Deduction and theorem proving.
|
650 |
|
4 |
|a Program verification.
|
650 |
|
4 |
|a Computer-aided engineering.
|
650 |
|
4 |
|a Ingeniería asistida por computadoras.
|
650 |
|
4 |
|a Perfomance analysis and design aids.
|
650 |
|
4 |
|a Hardware-Reliability, testing and fault tolerance.
|
650 |
|
4 |
|a Logic design-Reliability and testing.
|
650 |
|
4 |
|a Design aids.
|
650 |
|
4 |
|a Integrated circuits-Design aids.
|
650 |
|
4 |
|a Integrated circuits-Reliability and testing.
|
650 |
|
4 |
|a Specifying and verifying and reasoning about programs.
|
650 |
|
4 |
|a Mathematical logic-Computation.
|
700 |
1 |
|
|9 16465
|a Srivas, Mandayam,
|e ed.
|
700 |
1 |
|
|9 2603
|a Camilleri, Albert,
|e ed.
|
942 |
|
|
|c LIBRO
|2
|
945 |
|
|
|a AB
|
945 |
|
|
|a MCR
|d 2012-02-22
|
952 |
|
|
|0 0
|1 0
|4 0
|6 C_LNCS_V__1166_000000000000000
|7 0
|9 10470
|a MMA
|b MMA
|c LN
|d 2008-06-09
|e FOMEC/Comp.
|l 1
|o C LNCS v. 1166
|p 14961
|r 2013-08-23 00:00:00
|s 2010-08-27
|w 2008-06-09
|y LIBRO
|
999 |
|
|
|c 8199
|d 8199
|