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

AvWillem-Paul de Roever,Kai Engelhardt m. fl.

Inbunden, Engelska, 1998

2 129 kr

Skickas inom 10-15 vardagar

Foundations of Object-Oriented Languages

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

AvJ.W. de Bakker,W.P. de Roever m. fl.

Häftad, Engelska, 1991

719 kr

Skickas inom 10-15 vardagar

Real-Time: Theory in Practice

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

AvJ.W.de Bakker,C. Huizing m. fl.

Häftad, Engelska, 1992

1 429 kr

Skickas inom 10-15 vardagar

Semantics: Foundations and Applications

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

AvJ.W.de Bakker,W.-P.de Roever m. fl.

Häftad, Engelska, 1993

1 429 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

AvJ.W.de Bakker,W.-P.de Roever m. fl.

Häftad, Engelska, 1994

1 429 kr

Skickas inom 10-15 vardagar