|
|
|
|
| LEADER |
00963nam a2200289 4500 |
| 001 |
PPN112226604 |
| 005 |
20141208033900.0 |
| 010 |
|
|
|a 0-387-24019-5
|b rel.
|
| 100 |
|
|
|a 20070131d2005 k y0frey0103 ba
|
| 101 |
0 |
|
|a eng
|
| 102 |
|
|
|a US
|
| 105 |
|
|
|a y z 001yy
|
| 106 |
|
|
|a r
|
| 200 |
0 |
|
|a Taxonomies for the development and verification of digital systems
|b Texte imprimé
|f edited by Brian Bailey, Grant Martin, Thomas Anderson
|
| 210 |
|
|
|a New York
|c Springer Science+Business Media
|d cop. 2005
|
| 215 |
|
|
|a 1 vol. (xx-179 p.)
|c ill.
|d 25 cm
|
| 320 |
|
|
|a Bibliogr. p. [169]-171. Index
|
| 606 |
|
|
|a Circuits logiques
|2 rameau
|
| 676 |
|
|
|a 621.3815
|v 22
|
| 702 |
|
1 |
|3 PPN112226892
|a Bailey
|b Brian
|4 340
|
| 702 |
|
1 |
|3 PPN112226930
|a Grant
|b Martin
|4 340
|
| 702 |
|
1 |
|3 PPN112226957
|a Anderson
|b Thomas
|4 340
|
| 801 |
|
3 |
|a FR
|b Abes
|c 20070131
|g AFNOR
|
| 801 |
|
0 |
|b OHX
|g AACR2
|
| 801 |
|
2 |
|b UKM
|g AACR2
|
| 930 |
|
|
|5 441092105:367382628
|b 441092105
|j u
|
| 998 |
|
|
|a 554610
|
Nantilus
