机读格式显示(MARC)

• 000 00900nam 2200289 4500

• 001 0000498535

• 003 CAL

• 005 20050308143300.0

• 008 050308s1985 si a b 000 0 eng

• 020 __ |a 9971978539

• 040 __ |c SJT

• 050 00 |a QA76.9.S88 |b D46 1985

• 082 0_ |a 004.2/1 |2 19

• 090 __ |a TP391.7/D377

• 093 __ |a TP391.7 |2 4

• 099 __ |a CAL 022000314269 |a CAL 022000886219 |a CAL 021999656846

• 100 1_ |a Demetrovics, Jbanos.

• 245 10 |a Computer-aided specification techniques / |c Jbanos Demetrovics, Elnod Knuth, Pbeter Radbo.

• 260 __ |a Singapore : |b World Scientific, |c c1985.

• 300 __ |a ix, 114 p. : |b ill. ; |c 24 cm.

• 440 _0 |a Series in computer science ; |v vol. 1

• 504 __ |a Bibliography: p. 110-114.

• 650 _0 |a System design.

• 650 _0 |a Computer-aided design.

• 700 1_ |a Knuth, E. |q (Elnod), |d 1943-

• 700 1_ |a Rado, Peter.

• 950 __ |a JHUL |b TP391.7 |c D377