|
|
|
|
| LEADER |
00751nam a2200205 a 4500 |
| 001 |
492242 |
| 005 |
20171111225920.0 |
| 008 |
950427s1995 enka b 001 0 eng |
| 020 |
|
|
|a 0133669491 (alk. paper)
|
| 050 |
|
|
|a QA76.9.S88
|b A68 1995
|
| 082 |
|
|
|2 20
|a 620/.0042/015113
|
| 245 |
|
|
|a Applications of formal methods /
|c edited by Michael G. Hinchey and Jonathan P. Bowen.
|
| 260 |
|
|
|a London :
|b Prentice Hall,
|c 1995.
|
| 300 |
|
|
|a xvii, 447 p. :
|b ill. ;
|c 25 cm.
|
| 504 |
|
|
|a Includes bibliographical references (p. 421-437) and index.
|
| 650 |
|
|
|a System design
|
| 650 |
|
|
|a Computer software
|x Development
|
| 700 |
1 |
|
|a Hinchey, Michael G.
|
| 700 |
1 |
|
|a Bowen, J. P.
|
| 952 |
|
|
|a GrThPMO
|b 59afdbaa6c5ad17d7e59da66
|c 952a
|d 9528
|e QA76.9.S88A68 1995
|t 7
|x m
|z Books
|
