Software engineering 1 : abstraction and modelling / by D. Bjorner.
By: Bjorner, D.
Material type:
TextPublisher: NewYork : Springer , 2007Edition: .Description: xxiii, 711p. : ills. figs ; 23cm.ISBN: 9783540211495.Subject(s): COMPUTER SCIENCEDDC classification: 005.1
| Item type | Current location | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
Books
|
Central Library Old Stack Room | 005.1 BJO/S (Browse shelf) | 1 | Available | 85170 |
Browsing Central Library Shelves , Shelving location: Old Stack Room Close shelf browser
| No cover image available | ||||||||
| 005.1 BHI/C Computer programming for science and engineering / | 005.1 BJO/S Software engineering 3 : domains, requirements, and software design / | 005.1 BJO/S Software engineering 2 : specification of systems and languages / | 005.1 BJO/S Software engineering 1 : abstraction and modelling / | 005.1 BRA/F Fundamentals of algorithmics / | 005.1 BRA/F Fundamentals of algorithmics / | 005.1 BRA/F Fundamentals of algorithmics / |
Includes index and bibliographical reference
85170 RS3,995.00
There are no comments for this item.