|
|
|
|
| LEADER |
00000cam a2200000 7i4500 |
| 001 |
0000037833 |
| 008 |
021119n |
| 020 |
|
|
|a 0471930164
|
| 090 |
0 |
0 |
|a QA76.76.R44
|b B33 1991
|
| 100 |
0 |
|
|a Baber, Robert Laurence
|e author
|
| 245 |
0 |
0 |
|a Error-free software
|b know-how and know-why of program correctness
|c Robert Laurence Baber
|f translated from the German original by the author
|
| 260 |
2 |
|
|a Chichester, West Sussex, England
|b John Wiley
|c c1991
|
| 300 |
|
|
|a vii, 156 p. ;
|c 25 cm.
|
| 440 |
0 |
0 |
|a Wiley series in software engineering practice
|
| 650 |
|
0 |
|a Computer software
|x Development
|
| 650 |
|
0 |
|a Computer software
|x Reliability
|
| 999 |
|
|
|a 1000084052
|b Book
|c OPEN SHELF (30 DAYS)
|e Tembila Campus
|
| 999 |
|
|
|a 1000084053
|b Book
|c OPEN SHELF (30 DAYS)
|e Tembila Campus
|