Formal methods at the crossroads : from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers Bernhard K. Aichernig, Tom Maibaum
Series: Lecture notes in computer science ; 2757Publisher: Berlin ; New York : Springer-Verlag, 2003Description: xiv, 453 p. : ill. ; 24 cmISBN: 3540205276Subject(s): Software engineeringDDC classification: 005.1 Online resources: Publisher description| Item type | Current location | Home library | Collection | Shelving location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|---|
Book
|
Central Library (CL) | Central Library (CL) | NFIC | First Floor - Software Engineering/ Programming Language | 005.1 AIC (Browse shelf) | Available | SEECS007614 |
Total holds: 0
There are no comments on this title.