Formalization of p ...
Foundations of Log ...
Patterns of enterp ...
Functional program ...
Fundamental struct ...
The art of program ...
Computer organizat ...
Programming and la ...
Fundamentals of so ...
Algorithm design f ...
Algebraic methodol ...
Software engineeri ...
Tutorial, human fa ...
Types for proofs a ...
Software project m ...
Global software de ...
Risk management in ...
The software proje ...
Tutorial : softwar ...
Managing risk : me ...