|
|
|
|
| LEADER |
01402nmm a22003255u 4500 |
| 001 |
vtls000356581 |
| 003 |
RU-ToGU |
| 005 |
20210922023121.0 |
| 007 |
cr nn 008mamaa |
| 008 |
090507s2008 xx j eng d |
| 020 |
|
|
|a 9781402085864
|
| 035 |
|
|
|a to000356581
|
| 039 |
|
9 |
|a 201112191104
|y 200905072155
|z Александр Эльверович Гилязов
|
| 040 |
|
|
|a Springer
|c Springer
|d RU-ToGU
|
| 100 |
1 |
|
|a Boulé, Marc.
|9 312619
|
| 245 |
1 |
0 |
|a Generating Hardware Assertion Checkers
|h Электронный ресурс
|b For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring /
|c by Marc Boulé, Zeljko Zilic.
|
| 260 |
|
|
|a Dordrecht :
|b Springer Science + Business Media B.V,
|c 2008.
|9 729595
|
| 650 |
|
0 |
|a Computer Science
|9 155490
|
| 650 |
|
0 |
|a engineering
|9 224332
|
| 650 |
|
0 |
|a Systems engineering
|9 303074
|
| 650 |
1 |
4 |
|a Engineering
|9 224332
|
| 650 |
2 |
4 |
|a Circuits and Systems
|9 303075
|
| 650 |
2 |
4 |
|a Programming Languages, Compilers, Interpreters
|9 303287
|
| 700 |
1 |
|
|a Zilic, Zeljko.
|9 312620
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|9 143950
|
| 773 |
0 |
|
|t Springer eBooks
|
| 856 |
4 |
0 |
|u http://dx.doi.org/10.1007/978-1-4020-8586-4
|
| 856 |
|
|
|y Перейти в каталог НБ ТГУ
|u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=231688
|
| 950 |
|
|
|a Engineering (Springer-11647; ZDB-2-ENG)
|
| 999 |
|
|
|c 231688
|d 231688
|
