Centrum Wiskunde & Informatica

Publications by Year

sign in

Home

CWI Institutional Repository

Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands

Uit het Zuiden... Book Chapter

J. Paredaens

January 1989
What is in a step Book Chapter

A. Pnueli and M. Shalev

January 1989
The decent philosophers: an exercise in operational semantics of concurrent systems Book Chapter

W. Reisig

January 1989
Programmacorrectheid en het college Inleiding informatica Book Chapter

R.P. van de Riet (Reind)

January 1989
Applications of computability theory over abstract data types Book Chapter

J.V. Tucker (John)

January 1989
1964 - MC - J.W. de Bakker - CWI - 1989 Book Chapter

L. Vasmel-Kaarsemaker

January 1989
Over $\Phi$'s en $\Psi$'s Book Chapter

J.C. van Vliet (Hans)

January 1989
Scientific programme 1989 : long-range plan 1990-1994. part 1 Book

January 1989

Previous

Next

Address
- Centrum Wiskunde & Informatica
- Science Park 123 | 1098 XG Amsterdam | the Netherlands

CWI researchers
- Register Your Work
Questions or comments?
- repository@cwi.nl

Workflow

Workflow

Add Content

User Publication Person Organisation Collection

Close