Case Studies System Software Developmt (Prentice-Hall International Series in Computer Science)

by Jones (Author), Shaw. (Author)

• Used

  Paperback
  1990

  $12.56

  Ten authors present twelve case studies in the use of the Vienna Development Method, a formal, mathematically based approach for the specification and development of both software and hardware. Includes a chapter showing how formal methods relate to the software development process and an appendix r