Principles of program analysis F. Nielson, Hanne Riis Nielson, Chris Hankin.
Material type:
TextPublication details: Berlin ; New York Springer, c Description: xxi, 450 p. 24 cmISBN: 9783540654100Subject(s): Software -- AnlyzeLOC classification: QA76.6 | .N537 2005
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
BOOK
|
UNIMY PJ Library | TB | 005.1 NIE (Browse shelf (Opens below)) | Available | 100427 | ||
|
BOOK
|
UNIMY PJ Library | TB | 005.1 NIE (Browse shelf (Opens below)) | Available | 100428 | ||
|
BOOK
|
UNIMY PJ Library | TB | 005.1 NIE (Browse shelf (Opens below)) | Available | 100432 |
Total holds: 0
Browsing UNIMY shelves, Shelving location: PJ Library Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 005.1 D624 Elements of finite model theory | 005.1 D624 Elements of finite model theory | 005.1 NIE Principles of program analysis | 005.1 NIE Principles of program analysis | 005.1 NIE Principles of program analysis | 005.1 PRE Software Engineering A Practitioner's Approach | 005.1 PRE Software Engineering A Practitioner's Approach |
There are no comments on this title.