Software engineering 2/ D. Bjørner.
Material type:
TextSeries: Texts in theoretical computer sciencePublisher: Berlin ; New York : Springer, 2006-Description: 777 p. : ill. ; 24 cmISBN: 9788181287854; 3540211500 (v. 2)Subject(s): Software engineering. -- Computer, MIS | Computer programmingDDC 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-029153 |
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.