| 000 | 01232cam a2200253 a 4500 | ||
|---|---|---|---|
| 008 | 090910s1991 maua b 001 0 eng | ||
| 010 | _a88007517 | ||
| 020 | _a0201080044 | ||
| 020 | _a9780201080049 | ||
| 035 | _a(Sirsi) u2479 | ||
| 040 |
_aEG-CaNU _cEG-CaNU _dEG-CaNU |
||
| 042 | _ancode | ||
| 082 | 0 | 0 |
_a005.133 _2 19 |
| 100 | 1 |
_aBērzin̦š, Valdis Andris _94613 |
|
| 245 | 1 | 0 |
_aSoftware engineering with abstractions / _c Valdis Berzins, Luqi. |
| 260 |
_aReading, Mass. : _b Addison-Wesley, _c c1991. |
||
| 300 |
_axv, 624 p. : _b ill. ; _c 24 cm. |
||
| 504 | _aIncludes bibliographical references and index. | ||
| 520 | _aA technical introduction to software engineering with a systematic approach that is both formal and practical. Traces the entire software-development process, using a formal specification language ("Spec") to develop large real-time, and distributed systems in Ada. Coverage extends to system evolution, and includes special discussion of tools for automating software development. Annotation c. Book News, Inc., Portland, OR (booknews.com) | ||
| 650 | 0 |
_aComputer software _x Development. _94614 |
|
| 650 | 0 |
_aAda (Computer program language) _92701 |
|
| 700 | 0 |
_aLuqi. _94615 |
|
| 596 | _a1 | ||
| 999 |
_c1600 _d1600 |
||