|
|
|
|
| LEADER |
00706nam a2200193 a 4500 |
| 001 |
501943 |
| 005 |
20171111225929.0 |
| 008 |
931019s1994 gw a b 001 0 eng |
| 020 |
|
|
|a 038719813X
|
| 050 |
|
|
|a QA76.76.D47
|b P776 1994
|
| 082 |
|
|
|2 20
|a 005.1/2
|
| 245 |
|
|
|a Proof in VDM :
|b a practitioner's guide /
|c by Juan C. Bicarregui ...[et al.].
|
| 260 |
|
|
|a London ;
|b Springer-Verlag,
|c c1994.
|a New York :
|
| 300 |
|
|
|a xvi, 362 p. :
|b ill. ;
|c 24 cm.
|
| 504 |
|
|
|a Includes bibliographical references (p. [343]-345) and indexes.
|
| 650 |
|
|
|a Computer software
|x Development
|
| 650 |
|
|
|a Automatic theorem proving
|
| 700 |
1 |
|
|a Bicarregui, Juan C.
|
| 952 |
|
|
|a GrThPMO
|b 59afe58b6c5ad17d7e5a02c7
|c 952a
|d 9528
|e -
|t 1
|x m
|z Books
|
