| | Books 1 - 10 of 13 | Previous | Next | 
|  | | Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science)
by Willem-Paul de Roever, Kai Engelhardt
Hardcover, 435 Pages, Published 2001 by Cambridge University Press
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Concurrency verification: introduction to compositional and noncompositional methods (1st Edition)
by Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers
Hardcover, 798 Pages, Published 2001 by Cambridge University Press, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures (Lecture Notes in Computer Science) (1st Edition)
by Frank S. de Boer (Editor), Marcello M. Bonsangue (Editor), Susanne Graf (Editor), Willem-Paul de Roever (Editor)
Paperback, 325 Pages, Published 2005 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November -4, 2005, Revised Lectures (Lecture Notes in Computer Science) (1st Edition)
by Frank S. de Boer (Editor), Marcello M. Bonsangue (Editor), Susanne Graf (Editor), Willem-Paul de Roever (Editor)
Paperback, 429 Pages, Published 2006 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 989. Proceedings (Lecture Notes in Computer Science) (1st Edition)
by Jaco W. de Bakker (Editor), Willem-Paul de Roever (Editor), Grzegorz Rozenberg (Editor)
Paperback, 808 Pages, Published 1990 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Current Trends in Concurrency: Overviews and Tutorials (Lecture Notes in Computer Science) (1st Edition)
by Jacobus W. De Bakker (Editor), Willem-Paul De Roever (Editor), Grzegorz Rozenberg (Editor)
Paperback, 716 Pages, Published 1986 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures (Lecture Notes in Computer Science) (1st Edition)
by Frank S. de Boer (Editor), Marcello M. Bonsangue (Editor), Susanne Graf (Editor), Willem-Paul de Roever (Editor)
Paperback, 373 Pages, Published 2004 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Programming Concepts and Methods: Procomet 98 (1st Edition)
by David Gries (Editor), Willem-Paul de Roever (Editor)
Hardcover, 500 Pages, Published 1998 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-0,2006, Revised Lectures (Lecture Notes in Computer Science) (1st Edition)
by Frank S. de Boer (Editor), Marcello M. Bonsangue (Editor), Susanne Graf (Editor), Willem-Paul de Roever (Editor)
Paperback, 297 Pages, Published 2008 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Compositionality: The Significant Difference: International Symposium, COMPOS'97, Bad Malente, Germany, September 8-2, 997, Revised Lectures (Lecture Notes in Computer Science) (1st Edition)
by Willem-Paul de Roever (Editor), Hans Langmaack (Editor), Amir Pnueli (Editor)
Paperback, 647 Pages, Published 1998 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
| | Books 1 - 10 of 13 | Previous | Next |
|