HomeGroupsTalkMoreZeitgeist
Search Site
This site uses cookies to deliver our services, improve performance, for analytics, and (if not signed in) for advertising. By using LibraryThing you acknowledge that you have read and understand our Terms of Service and Privacy Policy. Your use of the site and services is subject to these policies and terms.

Results from Google Books

Click on a thumbnail to go to Google Books.

The Z Notation: A Reference Manual…
Loading...

The Z Notation: A Reference Manual (Prentice-Hall International Series in Computer Science) (edition 1992)

by J. M. Spivey

MembersReviewsPopularityAverage ratingConversations
24None943,491 (3.25)None
This manual provides a detailed guide to the use of the Z notation, which is used for designing and specifying computer systems. This second edition establishes a set of notations and conventions of the use of Z and offers a tutorial introduction to the main features and data refinement.
Member:rstata
Title:The Z Notation: A Reference Manual (Prentice-Hall International Series in Computer Science)
Authors:J. M. Spivey
Info:Prentice Hall (1992), Edition: 2 Sub, Paperback, 150 pages
Collections:Your library
Rating:
Tags:programming

Work Information

The Z Notation: A Reference Manual by J. M. Spivey

None
Loading...

Sign up for LibraryThing to find out whether you'll like this book.

No current Talk conversations about this book.

No reviews
no reviews | add a review
You must log in to edit Common Knowledge data.
For more help see the Common Knowledge help page.
Canonical title
Original title
Alternative titles
Original publication date
People/Characters
Important places
Important events
Related movies
Epigraph
Dedication
First words
This chapter is an introduction to some of the features of the Z notation, and to its use in specifying information systems and developing rigorously checked designs.
Quotations
Last words
Disambiguation notice
Publisher's editors
Blurbers
Original language
Canonical DDC/MDS
Canonical LCC
This manual provides a detailed guide to the use of the Z notation, which is used for designing and specifying computer systems. This second edition establishes a set of notations and conventions of the use of Z and offers a tutorial introduction to the main features and data refinement.

No library descriptions found.

Book description
Haiku summary

Current Discussions

None

Popular covers

Quick Links

Rating

Average: (3.25)
0.5
1
1.5
2
2.5
3 1
3.5 1
4
4.5
5

Is this you?

Become a LibraryThing Author.

 

About | Contact | Privacy/Terms | Help/FAQs | Blog | Store | APIs | TinyCat | Legacy Libraries | Early Reviewers | Common Knowledge | 203,238,549 books! | Top bar: Always visible