Sell, buy or rent Willem-Paul de Roever textbooks

9780521806084-0521806089-Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science, Series Number 54)
9780521806084-0521806089-Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science, Series Number 54)

Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science, Series Number 54)

by Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers
ISBN-13: 9780521806084
ISBN-10: 0521806089
Edition: 1
Publication date: 2001
Publisher: Cambridge University Press
Format: Hardcover 800 pages
Sell Shop now at Amazon
9783540510802-354051080X-Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988 (Lecture Notes in Computer Science, 354)
9783540510802-354051080X-Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988 (Lecture Notes in Computer Science, 354)

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988 (Lecture Notes in Computer Science, 354)

by Jacobus W. de Bakker, Willem-Paul de Roever, Grzegorz Rozenberg
ISBN-13: 9783540510802
ISBN-10: 354051080X
Edition: 1989
Publisher: Springer
Format: Paperback 728 pages
9783540367499-3540367497-Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures (Lecture Notes in Computer Science, 4111)
9783540367499-3540367497-Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures (Lecture Notes in Computer Science, 4111)

Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures (Lecture Notes in Computer Science, 4111)

by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever
ISBN-13: 9783540367499
ISBN-10: 3540367497
Edition: 2006
Publisher: Springer
Format: Paperback 437 pages
Sell Shop now at Amazon
9783540164883-354016488X-Current Trends in Concurrency: Overviews and Tutorials (Lecture Notes in Computer Science, 224)
9783540164883-354016488X-Current Trends in Concurrency: Overviews and Tutorials (Lecture Notes in Computer Science, 224)

Current Trends in Concurrency: Overviews and Tutorials (Lecture Notes in Computer Science, 224)

by Jacobus W. De Bakker, Willem-Paul De Roever, Grzegorz Rozenberg
ISBN-13: 9783540164883
ISBN-10: 354016488X
Edition: 1986
Publisher: Springer
Format: Paperback 732 pages
Sell Shop now at Amazon
9783540525592-3540525599-Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings (Lecture Notes in Computer Science, 430)
9783540525592-3540525599-Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings (Lecture Notes in Computer Science, 430)

Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings (Lecture Notes in Computer Science, 430)

by Jaco W. de Bakker, Willem-Paul de Roever, Grzegorz Rozenberg
ISBN-13: 9783540525592
ISBN-10: 3540525599
Edition: 1990
Publisher: Springer
Format: Paperback 824 pages
9783540584681-3540584684-Formal Techniques in Real-Time and Fault-Tolerant Systems (Lecture Notes in Computer Science, vol. 863) (Lecture Notes in Computer Science, 863)
9783540584681-3540584684-Formal Techniques in Real-Time and Fault-Tolerant Systems (Lecture Notes in Computer Science, vol. 863) (Lecture Notes in Computer Science, 863)

Formal Techniques in Real-Time and Fault-Tolerant Systems (Lecture Notes in Computer Science, vol. 863) (Lecture Notes in Computer Science, 863)

by Hans Langmaack, Willem-Paul de Roever, Jan Vytopil
ISBN-13: 9783540584681
ISBN-10: 3540584684
Edition: 1994
Publisher: Springer
Format: Paperback 787 pages
Sell Shop now at Amazon
9783540229421-3540229426-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, 3188)
9783540229421-3540229426-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, 3188)

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, 3188)

by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever
ISBN-13: 9783540229421
ISBN-10: 3540229426
Edition: 2004
Publisher: Springer
Format: Paperback 379 pages
Sell Shop now at Amazon eBook from $16.50
9783540654933-3540654933-Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures (Lecture Notes in Computer Science, 1536)
9783540654933-3540654933-Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures (Lecture Notes in Computer Science, 1536)

Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures (Lecture Notes in Computer Science, 1536)

by Willem-Paul de Roever, Hans Langmaack, Amir Pnueli
ISBN-13: 9783540654933
ISBN-10: 3540654933
Edition: 1998
Publisher: Springer
Format: Paperback 655 pages
Sell Shop now at Amazon
9781475762990-1475762992-Programming Concepts and Methods PROCOMET ’98: IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET ’98) 8–12 ... in Information and Communication Technology)
9781475762990-1475762992-Programming Concepts and Methods PROCOMET ’98: IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET ’98) 8–12 ... in Information and Communication Technology)

Programming Concepts and Methods PROCOMET ’98: IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET ’98) 8–12 ... in Information and Communication Technology)

by David Gries, Willem-Paul de Roever
ISBN-13: 9781475762990
ISBN-10: 1475762992
Edition: Softcover reprint of the original 1st ed. 1998
Publication date: 2013
Publisher: Springer
Format: Paperback 496 pages
Sell Shop now at Amazon
9780412837609-0412837609-Programming Concepts and Methods PROCOMET ’98: IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET ’98) 8–12 ... in Information and Communication Technology)
9780412837609-0412837609-Programming Concepts and Methods PROCOMET ’98: IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET ’98) 8–12 ... in Information and Communication Technology)

Programming Concepts and Methods PROCOMET ’98: IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET ’98) 8–12 ... in Information and Communication Technology)

by David Gries, Willem-Paul de Roever
ISBN-13: 9780412837609
ISBN-10: 0412837609
Edition: 1998
Publisher: Springer
Format: Hardcover 496 pages
Sell Buy from $197.89
cookies

We use cookies to ensure website functionality: improve our services, personalize your experience, analyze performance and traffic, and process orders efficiently. To learn more, check our Privacy Policy.