|
|
|
|
| LEADER |
00730pamaa2200217 4500 |
| 001 |
0000048104 |
| 005 |
20130117090000.0 |
| 008 |
101012 eng |
| 020 |
0 |
0 |
|a 9781852338206 (pbk.)
|
| 090 |
0 |
0 |
|a QA76.76.D47
|b COO 2005
|
| 100 |
1 |
0 |
|a Cooke
|
| 245 |
1 |
0 |
|a Constructing correct software
|c John Cooke.
|
| 250 |
0 |
0 |
|a 2nd ed.
|
| 260 |
0 |
0 |
|a New York:
|b Springer,
|c 2005.
|
| 300 |
|
|
|a xxi, 509 p.:
|b ill.;
|c 24 cm.
|
| 440 |
0 |
0 |
|a Formal approaches to computing and information technology
|
| 501 |
0 |
0 |
|a BITCUN
|
| 504 |
0 |
0 |
|a Includes bibliographical references (p. [501]-502) and index
|
| 650 |
0 |
0 |
|a Formal methods (Computer science)
|
| 650 |
0 |
0 |
|a Computer software --
|x Development
|
| 901 |
|
|
|u http://www.springeonline.com
|
