ZUM'97: The Z Formal Specification Notation

10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings (Lecture Notes in Computer Science)

1 edition

Our rough guess is there are 108,750 words in this book.

At a pace averaging 250 words per minute, this book will take 7 hours and 15 minutes to read. With a half hour per day, this will take 15 days to read.

How long will it take you?

Enter your reading speed

You can take one of our WPM reading speed tests to find your reading speed.

Get it on Amazon Buy on Bookshop.org

We earn a commission on purchases

Author

Jonathan P. Bowen

Contributions

Jonathan P. Bowen (Editor) - Contributor
Michael G. Hinchey (Editor) - Contributor
David Till (Editor) - Contributor

Publication

1997-04-18 - Springer

Language

English

Word Count

108,750 words, Guess

Page Count

435 pages

Physical Format

Paperback

Identifiers

Open LibraryOL9341283M
ISBN-139783540627173
ISBN-103540627170
OCLC Control Number36861217
Internet Archivezumzformalspecif00bowe_256

and 1 more

Goodreads4002187

Classifications

LCCQA75.5-76.95

Description

This book constitutes the refereed proceedings of the 10th International Conference of Z Users, ZUM'97, held in Reading, UK, in April 1997. The volume presents 18 revised full papers together with three invited presentations by internationally leading experts. The papers are organized into topical sections on real-time systems, tools, logic, system development, reactive systems, refinement, and applications. Also a select Z bibliography by Jonathan Bowen is added. All in all, the book competently reports the state-of-the-art in research and advanced applications of the Z notation.

First Sentence

Much has been written in the past decade about the usefulness of formal methods for developing computer systems.

Subjects

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!