Software engineering 1 / D. Bjørner.
Material type:
TextSeries: Texts in theoretical computer sciencePublisher: Berlin ; New York : Springer, 2006-Description: 711 p. : ill. ; 24 cmISBN: 3540211497 (v. 1); 9788181287847Subject(s): Software engineering | Computer programming. -- Computer, MISDDC classification: 005.1 BJO LOC classification: QA76.758 | .B56 2006Online resources: Click here to access online
Incomplete contents:
1. Abstraction and modelling -- 2. Specification of systems and languages -- 3. Domains, requirements, and software design.
| Item type | Current location | Home library | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
Book
|
Pakistan Navy Engineering College (PNEC) | Pakistan Navy Engineering College (PNEC) | 005.1 BJO (Browse shelf) | Available | PNECLIB-029152 |
Total holds: 0
Includes bibliographical references and indexes.
1. Abstraction and modelling -- 2. Specification of systems and languages -- 3. Domains, requirements, and software design.
There are no comments on this title.