Skip to main content
Elsevier

Towards Verified Systems

  • 1st Edition, Volume 2 - September 30, 1994
  • Latest edition
  • Editor: J. Bowen
  • Language: English

Product details

  • Edition: 1
  • Latest edition
  • Volume: 2
  • Published: September 30, 1994
  • Language: English

View book on ScienceDirect

Read Towards Verified Systems on ScienceDirect