

Application and Theory of Petri Nets and Concurrency
584,-

Principles of Verification
737,-

Principles of Verification
854,-

Principles of Verification
791,-

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

Practical Aspects of Declarative Languages
431,-

Composability, Comprehensibility and Correctness of Working Software
791,-

Principles and Practices of Building Parallel Software
1 124,-

Practical Aspects of Declarative Languages
431,-

Trends in Functional Programming
476,-

Application and Theory of Petri Nets and Concurrency
584,-

Principles of Verification
737,-

Principles of Verification
854,-

Principles of Verification
791,-

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

Practical Aspects of Declarative Languages
431,-

Composability, Comprehensibility and Correctness of Working Software
791,-

Principles and Practices of Building Parallel Software
1 124,-

Practical Aspects of Declarative Languages
431,-

Trends in Functional Programming
476,-















