W.-P. de Roever

Born 1943-01-01

Identifiers

  • Open LibraryOL228146A

Top Subjects

  • Data structures (Computer science) (2)
  • Computer simulation (2)
  • Proof theory (1)
  • Recursive programming (1)
  • Programming languages (Electronic computers) -- Semantics (1)
  • Computer programs -- Verification (1)
  • Verification (1)

Books by W.-P. de Roever

Total count: 3