|
|
|
|
| LEADER |
008960000a22002290004500 |
| 020 |
|
|
|a 0-521-28531-3
|
| 082 |
|
|
|a 005.133 ADA M2
|
| 100 |
|
|
|a McGettrick, Andrew D; Author
|
| 245 |
|
|
|a Program verification using Ada
|
| 260 |
|
|
|a Cambridge, Cambridge University Press
|
| 260 |
|
|
|c 1982
|
| 460 |
|
|
|a xii,345p
|
| 465 |
|
|
|a P 12.50
|
| 490 |
|
|
|a Cambridge computer science series
|c 13
|
| 500 |
|
|
|a Andrew D McGettrick
|
| 500 |
|
|
|a Includes bibliographical references and index
|
| 650 |
|
|
|a Ada (Computer program language)
|
| 650 |
|
|
|a Computer programs-Verification
|
| 942 |
|
|
|c BK
|
| 999 |
|
|
|c 13959
|d 13959
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 005_133000000000000_ADA_M2
|7 0
|8 ENG
|9 13760
|a MGUL
|b MGUL
|d 2013-07-16
|e P 12.50
|l 0
|o 005.133 ADA M2
|p 02893
|r 2013-07-16
|w 2013-07-16
|y BK
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 005_133000000000000_ADA
|7 0
|9 76265
|a SOCS
|b SOCS
|d 2015-06-11
|g 325.00
|l 0
|o 005.133 ADA
|p SOCS334
|r 2015-06-11
|w 2015-06-11
|y BK
|