|
|
|
|
| LEADER |
00706nam a22001937a 4500 |
| 005 |
20151026130425.0 |
| 008 |
100304t xxu||||| |||| 00| 0 eng d |
| 020 |
|
|
|a 0133290034
|
| 080 |
|
|
|a 004.414.38
|b BJO
|
| 100 |
|
|
|a Bjorner, Diner
|9 10822
|
| 245 |
|
|
|a Formal specification and software development
|
| 260 |
|
|
|a New Jersy
|b Prentice-hall international
|c 1982
|
| 300 |
|
|
|a x,501p.
|
| 490 |
|
|
|a Printice-Hall International series in computer science
|
| 653 |
|
|
|a Microprogramming
|a Computer science
|a Computer system
|
| 700 |
|
|
|a Jones, Cliff B.
|9 10824
|
| 942 |
|
|
|c BK
|6 _
|
| 999 |
|
|
|c 5060
|d 5060
|
| 952 |
|
|
|0 0
|1 0
|2 udc
|4 0
|6 00441438_BJO
|7 0
|9 16384
|a UL
|b UL
|d 2010-03-04
|o 004.414.38 BJO
|p 00033853
|r 2010-03-04
|w 2010-03-04
|y BK
|