AboutSign inJoin

Willem-Paul de Roever

About

Some information is missing for this author.

Books

Formal Methods for Components and Objects
Formal Methods for Components and Objects
Willem-Paul de Roever, Susanne Graf, Marcello M. Bonsangue
Formal Methods for Components and Objects
Formal Methods for Components and Objects
Willem-Paul de Roever, Susanne Graf, Marcello Bonsangue, Frank S.de Boer
Formal Methods for Components and Objects
Formal Methods for Components and Objects
Frank S. de Boer, Willem-Paul de Roever, Susanne Graf, Marcello M. Bonsangue
Compositionality: The Significant Difference
Compositionality: The Significant Difference
Willem-Paul de Roever, Amir Pnueli, Hans Langmaack
Compositionality: The Significant Difference
Compositionality: The Significant Difference
Willem-Paul de Roever, Amir Pnueli, Hans Langmaack
Formal Methods for Components and Objects
Formal Methods for Components and Objects
Frank S. de Boer, Willem-Paul de Roever, Susanne Graf, Marcello M. Bonsangue
Formal Methods for Components and Objects
Formal Methods for Components and Objects
Frank S. de Boer, Willem-Paul de Roever, Susanne Graf, Marcello M. Bonsangue
Formal Methods for Components and Objects
Formal Methods for Components and Objects
Willem-Paul de Roever, Susanne Graf, Marcello M. Bonsangue
Programming Concepts and Methods PROCOMET ’98
Programming Concepts and Methods PROCOMET ’98
Willem-Paul de Roever, David Gries
Formal Methods for Components and Objects
Formal Methods for Components and Objects
Frank S. de Boer, Willem-Paul de Roever, Susanne Graf, Marcello M. Bonsangue
Stepwise Refinement of Distributed Systems
Stepwise Refinement of Distributed Systems
Grzegorz Rozenberg, Jaco W. de Bakker, Willem-Paul de Roever

Join the club

Track what you're reading, see what your friends are into and explore the ideas of the world's greatest authors together.

Download on the App StoreDownload on the Google Play Store
... or sign up right here
Company
  • About
  • Partners
  • Careers
  • Press
  • Legal
  • Privacy
Social
  • Twitter
  • Instagram
  • Facebook
  • TikTok
Support
  • FAQ
  • Changelog
  • Feature ideas
  • API
  • Widget
  • Contact
App
  • iPhone app
  • Android app
Help us
  • Become a Patron
  • Become a Librarian