Specification Case Studies

by IanHayes (Editor)

• Used

  Paperback
  1986

  $4.59

• Used

  Paperback
  1993

  $3.45

  Presenting a series of up-to-date case studies in the use of Z from leading researchers, this book is divided into four parts: tutorials, software engineering, distributed computing, and transaction processing.