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

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

Synopsis

Book by

"synopsis" may belong to another edition of this title.

From the Back Cover

The Z notation is a mathematical notation used for designing and specifying computer systems. This book presents a series of up to date case studies in the use of Z. The book will be of interest to the professional software engineers involved in designing and specifying large software projects.

"About this title" may belong to another edition of this title.

Other Popular Editions of the Same Title

9780138265793: Specification Case Studies (Spectrum Book)

Featured Edition

ISBN 10:  0138265798 ISBN 13:  9780138265793
Publisher: Prentice-Hall International, 1987
Softcover