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

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

Softcover

ISBN 10: 0138325448 ISBN 13: 9780138325442

Publisher: Prentice Hall

View all copies of this ISBN edition

0 Used

1 New

From US$ 26.04

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.