机读格式显示(MARC)

• 000 01043nam2 2200313 4500

• 000 1000007757

• 001 0000164061

• 005 20050126084734.0

• 008 011012s1989 nyua b 001 0 eng

• 010 __ |a 89030196 //r90

• 020 __ |a 0471605395 |c CNY8.50

• 040 __ |a DLC |c XAIT

• 050 00 |a QA76.76.V47 |b G86 1989

• 082 00 |a 005.1/4 |2 19

• 090 __ |a TP311/E13

• 093 __ |a TP311 |2 4

• 099 __ |a CAL 022000212454

• 100 1_ |a Gumb, Raymond D.

• 245 10 |a Programming logics : |b an introduction to verification and semantics / |c Raymond D. Gumb.

• 260 __ |a New York : |b Wiley, |c c1989.

• 300 __ |a xvii, 334 p. : |b ill. ; |c 23 cm.

• 504 __ |a Includes bibliographical references(p.309-315) and index.

• 650 _0 |a Programming languages (Electronic computers) |x Semantics.

• 650 _0 |a Computer programs |x Verification.

• 905 __ |a XATU |d TP311/E13

• 920 __ |a 261060 |z 1

• 950 __ |a 261060 |f TP311/E13

• 991 __02200500371

• 999 __ |t C |A zhaining |a 20050126 08:45:05 |M zhaining |m 20050126 08:47:34 |G zhaining |g 20050126 08:48:0