Hoppa till sidans huvudinnehåll

W. -P De Roever - Böcker

Visar alla böcker från författaren W. -P De Roever.
5 produkter
Del 47 - Cambridge Tracts in Theoretical Computer Science

Data Refinement

Model-Oriented Proof Methods and their Comparison

Av Willem-Paul de Roever, Kai Engelhardt m. fl

Inbunden, Engelska, 1998

2 199 kr

Skickas inom 10-15 vardagar

Foundations of Object-Oriented Languages

REX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990

Av J.W. de Bakker, W.P. de Roever m. fl

Häftad, Engelska, 1991

729 kr

Skickas inom 10-15 vardagar

Real-Time: Theory in Practice

REX Workshop, Mook, The Netherlands, June 3-7, 1991. Proceedings

Av J.W.de Bakker, C. Huizing m. fl

Häftad, Engelska, 1992

1 449 kr

Skickas inom 10-15 vardagar

Semantics: Foundations and Applications

REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992. Proceedings

Av J.W.de Bakker, W.-P.de Roever m. fl

Häftad, Engelska, 1993

1 449 kr

Skickas inom 10-15 vardagar

Decade of Concurrency: Reflections and Perspectives

Reflections and Perspectives. REX School/Symposium Noordwijkerhout, The Netherlands, June 1 - 4, 1993. Proceedings

Av J.W.de Bakker, W.-P.de Roever m. fl

Häftad, Engelska, 1994

1 449 kr

Skickas inom 10-15 vardagar