

Coordination Models and Languages
584,-

Software Reuse
584,-

Application and Theory of Petri Nets and Concurrency
584,-

Practical Aspects of Declarative Languages
431,-

Composability, Comprehensibility and Correctness of Working Software
791,-

Active Object Languages
791,-

Algorithms and Data Structures
1 340,-

Principles and Practices of Building Parallel Software
1 124,-

Principles of Verification
854,-

Coordination Models and Languages
584,-

Coordination Models and Languages
584,-

Software Reuse
584,-

Application and Theory of Petri Nets and Concurrency
584,-

Practical Aspects of Declarative Languages
431,-

Composability, Comprehensibility and Correctness of Working Software
791,-

Active Object Languages
791,-

Algorithms and Data Structures
1 340,-

Principles and Practices of Building Parallel Software
1 124,-

Principles of Verification
854,-

Coordination Models and Languages
584,-











