Yazar
W P de Roever
15 cilt bulundu.
W.-P. de Roever, Willem-Paul de Roever, Kai Engelhardt · Cambridge University Press
429 sayfa · 1998
Computer simulation / Verification / Data structures (Computer science) / Computer programs / Databases & data structures
J. W. de Bakker, W.-P. de Roever, Grzegorz Rozenberg, J. W. De Bakker, W. P. De Roever · Springer
808 sayfa · 1990
Electronic data processing / Distributed processing / Congresses / Electronic data processing, distributed processing
J. W. de Bakker, W.-P. de Roever, Grzegorz Rozenberg, J. W. De Bakker, W. P. De Roever · Springer-Verlag
684 sayfa · 1994
Parallel processing (Electronic computers) / Congresses
W.-P. de Roever · Cambridge University Press
423 sayfa · 2009
Computer simulation / Verification / Data structures (Computer science) / Computer programs / Data structures (computer science)
Willem-Paul de Roever, Grzegorz Rozenberg, J. W. de Bakker, W.-P. de Roever · Springer
713 sayfa · 1989
Parallel processing (Electronic computers) / Distributed processing / Electronic data processing / REX / Programmation
REX Workshop (1992 Beekbergen, Netherlands), J. W. De Bakker, W. P. De Roever · Springer-Verlag
659 sayfa · 1993
Congresses / Programming languages (Electronic computers) / Semantics
REX School/Workshop (1990 Noordwijkerhout, Netherlands), J. W. De Bakker, W. P. De Roever · Springer-Verlag
442 sayfa · 1991
Congresses / Object-oriented programming (Computer science) / Programming languages (Electronic computers) / Logic design / Computer science
REX Workshop (1991 Mook, Netherlands), J. W. De Bakker, C. Huizing, W. P. De Roever · Springer
723 sayfa · 1992
Congresses / Real-time data processing / Mathematical Logic and Formal Languages / Software engineering / Computer Communication Networks
W.-P. de Roever, Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers · Cambridge University Press
798 sayfa · 2001
Parallel processing (Electronic computers) / Verification / Computer software / Parallel processing (electronic computers) / Computer software, verification
W. P. De Roever · Springer-Verlag
787 sayfa · 1994
Congresses / Real-time data processing / Fault-tolerant computing
W.-P. de Roever · Mathematisch Centrum
112 sayfa · 1976
Semantics / Proof theory / Recursive programming / Programming languages (Electronic computers)
W.-P. de Roever, Hans Langmaack, A. Pnueli, Germany) COMPOS '97 (1997 Malente · Springer
646 sayfa · 1998
Parallel processing (Electronic computers) / Congresses / Automatic theorem proving