Formal foundations for software engineering methods / Hubmann,Heinrich.
Material type:
TextLanguage: English Series: Lecture notes in computer science,No-1322Publication details: Berlin: Springer, 1997. Description: x,286p;26cmISBN: 3540636137DDC classification: 005.1 HUB
| Item type | Current library | Home library | Collection | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|
Reference Books
|
Central Library, TU Reference Book Section (Consult Shelf-Guide to locate the book) | Central Library, TU | Reference | 005.1 HUB (Browse shelf(Opens below)) | Not for loan | 11556 |
Total holds: 0
Browsing Central Library, TU shelves, Shelving location: Reference Book Section (Consult Shelf-Guide to locate the book), Collection: Reference Close shelf browser (Hides shelf browser)
| No cover image available | ||||||||
| 005.1 HAN Handbook of approximation algorithms and metaheuristics / | 005.1 HAR Reliable software technologies-Ada-Europe'99 / | 005.1 HEN Static analysis / | 005.1 HUB Formal foundations for software engineering methods / | 005.1 JAZ Software engineering-ESEC/FSE'97 / | 005.1 KEY Software engineering handbook / | 005.1 KNU The art of computer programming / |
Includes bibliographical references.
There are no comments on this title.