کتاب های De Roever W. P.
![Concurrency Verification: Introduction to Compositional and Non-compositional Methods](http://cdn.ketabkoo.com/covers/0/48654-n.jpg)
Concurrency Verification: Introduction to Compositional and Non-compositional Methods
Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers, 2001![A Decade of Concurrency Reflections and Perspectives: REX School/Symposium Noordwijkerhout, The Netherlands June 1–4, 1993 Proceedings](http://cdn.ketabkoo.com/covers/0/70176-n.jpg)
A Decade of Concurrency Reflections and Perspectives: REX School/Symposium Noordwijkerhout, The Netherlands June 1–4, 1993 Proceedings
Albert Benveniste, Paul Caspi (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.), 1994![Foundations of Object-Oriented Languages: REX School/Workshop Noordwijkerhout, The Netherlands, May 28–June 1, 1990 Proceedings](http://cdn.ketabkoo.com/covers/0/86111-n.jpg)
Foundations of Object-Oriented Languages: REX School/Workshop Noordwijkerhout, The Netherlands, May 28–June 1, 1990 Proceedings
Gul Agha (auth.), J. W. de Bakker, W. P. de Roever, G. Rozenberg (eds.), 1991![Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings](http://cdn.ketabkoo.com/covers/0/86255-n.jpg)
Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings
Martín Abadi, Leslie Lamport (auth.), J. W. de Bakker, C. Huizing, W. P. de Roever, G. Rozenberg (eds.), 1992![Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings](http://cdn.ketabkoo.com/covers/0/86284-n.jpg)
Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings
Martín Abadi, Leslie Lamport (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.), 1990![Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988](http://cdn.ketabkoo.com/covers/1/110570-n.jpg)
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988
Johan van Benthem (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.), 1989![Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988](http://cdn.ketabkoo.com/covers/1/110571-n.jpg)
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988
Johan van Benthem (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.), 1989![Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures](http://cdn.ketabkoo.com/covers/1/142427-n.jpg)
Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
Gilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas Jensen, David Pichardie (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.), 2008![Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures](http://cdn.ketabkoo.com/covers/1/142428-n.jpg)
Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
Gilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas Jensen, David Pichardie (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.), 2008![Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures](http://cdn.ketabkoo.com/covers/1/142429-n.jpg)
Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
Gilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas Jensen, David Pichardie (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.), 2008![Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures](http://cdn.ketabkoo.com/covers/9/970535-n.jpg)
Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures
Willem-Paul de Roever (auth.), 1998![Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures](http://cdn.ketabkoo.com/covers/9/989972-n.jpg)
Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures
Willem-Paul de Roever (auth.), 1998![Data Refinement: Model-Oriented Proof Methods and their Comparison](http://cdn.ketabkoo.com/covers/9/989973-n.jpg)
Data Refinement: Model-Oriented Proof Methods and their Comparison
Willem-Paul de Roever, 2008![Data Refinement: Model-Oriented Proof Methods and their Comparison](http://cdn.ketabkoo.com/covers/9/989974-n.jpg)
Data Refinement: Model-Oriented Proof Methods and their Comparison
de Roever W.-P., 1998![Second Language Pragmatics](http://cdn.ketabkoo.com/covers/11/1183998-n.jpg)
Second Language Pragmatics
Naoko Taguchi, Carsten Roever![Quantitative Methods for Second Language Research_ A n Language Assessment)](http://cdn.ketabkoo.com/covers/12/1202791-n.jpg)