W

W. P. De Roever

14 books found

Books by W. P. De Roever
Formal Techniques in Real-Time and Fault-Tolerant SystemsW. P. De Roever
⏱ 13h 7m

Formal Techniques in Real-Time and Fault-Tolerant Systems

W. P. De Roever

1994787 pp.
Data refinementW.-P. de Roever
⏱ 7h 3m

Data refinement

W.-P. de Roever

2009423 pp.
Recursive program schemesW.-P. de Roever
⏱ 1h 52m

Recursive program schemes

W.-P. de Roever

1976112 pp.
Call-by-value versus call-by-nameW P de Roever

Call-by-value versus call-by-name

W P de Roever

1976No page data
Geological investigations in the southwestern Moetis regionW. P. de Roever
⏱ 4h 4m

Geological investigations in the southwestern Moetis region

W. P. de Roever

1940244 pp.
Stepwise refinement of distributed systemsJ. W. de Bakker
⏱ 13h 28m

Stepwise refinement of distributed systems

J. W. de Bakker

1990808 pp.
A Decade of concurrencyJ. W. de Bakker
⏱ 11h 24m

A Decade of concurrency

J. W. de Bakker

1994684 pp.
Data refinementW.-P. de Roever
⏱ 7h 9m

Data refinement

W.-P. de Roever

1998429 pp.
Current Trends in ConcurrencyJ. W. de Bakker
⏱ 11h 56m

Current Trends in Concurrency

J. W. de Bakker

1986716 pp.
SemanticsREX Workshop (1992 Beekbergen, Netherlands)
⏱ 10h 59m

Semantics

REX Workshop (1992 Beekbergen, Netherlands)

1993659 pp.
Linear Time, Branching Time and Partial Order in Logics and Models for ConcurrencyWillem-Paul de Roever
⏱ 11h 53m

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency

Willem-Paul de Roever

1989713 pp.
Foundations of object-oriented languagesREX School/Workshop (1990 Noordwijkerhout, Netherlands)
⏱ 7h 22m

Foundations of object-oriented languages

REX School/Workshop (1990 Noordwijkerhout, Netherlands)

1991442 pp.
Real-time, theory in practiceREX Workshop (1991 Mook, Netherlands)
⏱ 12h 3m

Real-time, theory in practice

REX Workshop (1991 Mook, Netherlands)

1992723 pp.
Concurrency verificationW.-P. de Roever
⏱ 13h 18m

Concurrency verification

W.-P. de Roever

2001798 pp.