| |
Title |
Authors/Editors |
Publisher |
Type |
Copies |
 |
The Science of Programming (Monographs in Computer Science)
|
|
Springer |
Books |
1 |
 |
Reliable Software Technologies - Ada-Europe 2004: 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, ... (Lecture Notes in Computer Science)
|
|
Springer |
Books |
1 |
 |
Reliable Software Technology - Ada-Europe 2005: 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, ... / Programming and Software Engineering)
|
|
Springer |
Books |
1 |
 |
Agile!: The Good, the Hype and the Ugly
|
|
Springer |
Books |
1 |
 |
The Checklist Manifesto: How to Get Things Right. Atul Gawande
|
|
Profile |
Books |
2 |
 |
Spark: The Proven Approach to High Integrity Software
|
|
Altran Praxis |
Books |
1 |
 |
Introduction Formal Specification And Z (2nd Edition)
|
|
Prentice Hall |
Books |
1 |
 |
Principles of Programming Languages (Prentice Hall International Series in Computing Science)
|
|
Prentice Hall |
Books |
1 |
 |
Theory and Practice of Concurrency
|
|
Prentice Hall |
Books |
1 |
 |
Software Cost Estimation with Cocomo II
|
|
Prentice Hall |
Books |
1 |
