000 | 00565nam a22001817a 4500 | ||
---|---|---|---|
001 | 38582 | ||
003 | BD-DhUET | ||
008 | 160224b xxu||||| |||| 00| 0 eng d | ||
040 |
_aDLC _cDLC _dBD-DhUET |
||
082 |
_a625 _bZIG/1984 |
||
100 | _aZigterman, Lieuwe | ||
245 |
_aNew approach to specification and design of a railway-interlocking _bthe "route" approach : an exercise in top-down design with stepwise refinement |
||
250 | _a1st ed. | ||
260 |
_aNethearland _bThe Author _c1984 |
||
300 |
_a295p. _bills. |
||
650 | 0 | _aRailway engineering | |
942 | _cGB | ||
999 |
_c38582 _d38582 |