机读格式显示(MARC)
- 000 01156nam2 2200361 4500
- 008 981216s1982 enk b 00110 eng
- 020 __ |a 0521242150 |c CNY2.00
- 020 __ |a 0521285313 (pbk.)
- 050 00 |a QA76.6 |b .M399 1982
- 082 00 |a 001.64/25/0287 |2 19
- 099 __ |a CAL 022000334787
- 100 1_ |a McGettrick, Andrew D., |d 1944-
- 245 10 |a Program verification using Ada / |c Andrew D. McGettrick.
- 260 __ |a Cambridge ; |a New York : |b Cambridge University Press, |c 1982.
- 300 __ |a 345 p. ; |c 24 cm.
- 440 _0 |a Cambridge computer science texts ; |v 13
- 500 __ |a Includes index.
- 504 __ |a Includes bibliographical references(p. 335-339) and index.
- 650 _0 |a Ada (Computer program language)
- 650 _0 |a Computer programs |x Verification.
- 905 __ |a XATU |d TP312/E14
- 950 __ |a 261060 |f TP312/E14
- 999 __ |t C |A zhaining |a 20050124 15:54:22 |M zhaining |m 20050124 15:56:03 |G zhaining |g 20050124 15:56:2