Specification Case Studies (Prentice Hall International Series in Computer Science)

by IanHayes (Editor), IanHayes (Editor)

• 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.

• Used

  Paperback
  1986

  $4.59