机读格式显示(MARC)
- 000 00455nam2 2200181 4500
- 245 1_ |a Program verification using Ada |c McGettrick ,Andrew D |g |A PROGRAMV |F MCGETTRI,ANDREWD
- 260 __ |a Cambridge |b The Univ .Pr. |c 1982
- 700 _0 |a McGettrick ,Andrew D |A MCGETTRI,ANDREWD |4 著
- 905 __ |a HIEL |d TP312/M2.2