

Principles and Practices of Building Parallel Software
1 124,-

Foundations of Software Science and Computation Structures
584,-

Programming Languages and Systems
584,-

Programming Languages and Systems
584,-

Foundations of Software Science and Computation Structures
584,-

Programming Languages and Systems
431,-

Algorithms and Data Structures
1 124,-

Principles of Verification
791,-

Principles of Verification
854,-

Tools and Algorithms for the Construction and Analysis of Systems
431,-

Principles and Practices of Building Parallel Software
1 124,-

Foundations of Software Science and Computation Structures
584,-

Programming Languages and Systems
584,-

Programming Languages and Systems
584,-

Foundations of Software Science and Computation Structures
584,-

Programming Languages and Systems
431,-

Algorithms and Data Structures
1 124,-

Principles of Verification
791,-

Principles of Verification
854,-

Tools and Algorithms for the Construction and Analysis of Systems
431,-













