Reliable software technologies : Ada-Europe 2006 : 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006 : proceedings / Luís Miguel Pinho, Michael González Harbour (eds.).
| Author/creator | Ada-Europe International Conference on Reliable Software Technologies |
| Other author | Pinho, Luís Miguel. |
| Other author | González Harbour, Michael, 1960- |
| Format | Book |
| Publication Info | Berlin ; New York : Springer, ©2006. |
| Description | xii, 240 pages : illustrations ; 24 cm. |
| Supplemental Content | Restricted to SpringerLink subscribers |
| Subjects |
| Portion of title | Ada-Europe 2006 |
| Portion of title | 11th Ada-Europe International Conference on Reliable Software Technologies |
| Variant title | Eleventh Ada-Europe International Conference on Reliable Software Technologies |
| Series | Lecture notes in computer science ; 4006, 0302-9743 ; Lecture notes in computer science 4006. ^A466336 |
| Contents | Real-time systems -- Static analysis -- Verification -- Applications -- Reliability -- Compilers -- Distributed systems. |
| Bibliography note | Includes bibliographical references and index. |
| Other forms | Also issued online. |
| LCCN | 2006926424 |
| ISBN | 3540346635 |
| ISBN | 9783540346630 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA76.76.R44 A44 2006 | ✔ Available | Place Hold |