| 000 | 00348nam a2200121Ia 4500 | ||
|---|---|---|---|
| 008 | 130705s9999 xx 000 0 und d | ||
| 020 | _a007707811X | ||
| 050 | 0 | _aTK7874.65 .M55 1994 | |
| 100 | 1 | _aMilne, George | |
| 245 | 1 | 0 |
_aFormal specification and verification of digital systems / _cGeorge Milne |
| 300 | _ap. | ||
| 942 |
_2lcc _kTK7874.65 .M55 1994 |
||
| 999 |
_c7771 _d7771 |
||