Willem-Paul de Roever

Identifiers

Open LibraryOL2767851A

Top Subjects

Verification (2)
Computer Science (2)
Mathematical theory of computation (2)
Computers (2)
Computers / Programming / Software Development (2)
Science/Mathematics (2)
Networking - General (2)

Books by Willem-Paul de Roever

Total count: 6

Concurrency verificationintroduction to compositional and noncompositional methods1st edition

Cambridge University Press2001-01-15
Data RefinementModel-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science)

Cambridge University Press2001-01-15
Compositionality : the Significant DifferenceInternational Symposium, COMPOS'97 Bad Malente, Germany, September 8-12, 1997 Revised Lectures

Springer London, Limited2003-01-01
Formal Methods for Components and ObjectsFirst International Symposium, FMCO 2002, Leiden, the Netherlands, November 5-8, 2002, Revised Lectures

Springer London, Limited2003-01-01
Formal Methods for Components and ObjectsSecond International Symposium, FMCO 2003, Leiden, the Netherlands, November 4-7, 2003. Revised Lectures

Springer London, Limited2004-01-01
Formal Methods for Components and Objects6th International Symposium, FMCO 2007, Amsterdam, the Netherlands, October 24-26, 2007, Revised Lectures

Springer London, Limited2008-01-01