机读格式显示(MARC)

• 000 01163nam 2200325 a 4500

• 000 1000082909

• 001 0000306565

• 005 20070410093128.0

• 008 070410s1980 gw a b 101 0 eng

• 010 __ |a 80025383

• 020 __ |a 0387104429 : |c CNY20.00

• 040 __ |a DLC |c DLC |d DLC

• 050 00 |a QA76.6 |b .U83

• 082 00 |a 001.64/2 |2 19

• 090 __ |a TP31-53/SUF

• 093 __ |a TP31-53 |2 4

• 111 2_ |a Seminar "The use of formal specification of software and firmware".

• 245 04 |a The Use of formal specification of software, June 25-27, 1979, Berlin / |c edited by H.K. Berg and W.K. Giloi.

• 260 __ |a Berlin ; |a New York : |b Springer-Verlag, |c 1980.

• 300 __ |a iv, 388 p. : |b ill. ; |c 24 cm.

• 440 _0 |a Informatik-Fachberichte ; |v v. 36

• 504 __ |a Includes bibliographical references and index.

• 650 _0 |a Computer programming |x Congresses.

• 650 _0 |a Computer firmware.

• 700 1_ |a Berg, H. K. |q (Helmut K.)

• 700 1_ |a Giloi, Wolfgang.

• 901 __022007001615

• 905 __ |a CAU |f TP31-53/SUF |b E0212123(or.)

• 907 __ |a CAU |f TP31-53/SUF |b E0212123(or.)

• 999 __ |t C |A gxr |a 20070410 09:19:30 |I gxr |i 20070410 09:31:28 |G wzhlc |g 20070604 10:02:5