fraeon
Films
BrowseTop 250
Series
TV ShowsAnimeTop 250 TVTop 100 Anime
Games
BrowseTop 100
Books
BooksMangaTop 125 BooksTop 100 Manga
For youTrendingTier ListsThe ArchiveLeaderboard
Log inSign up free
fraeon

Everything you watch, play and read — tracked, rated and remembered in one library.

Explore

  • Films
  • TV
  • Anime
  • Games
  • Books
  • Manga

Discover

  • Trending
  • Leaderboard
  • Find people
  • Lists
  • Tier lists

Company

  • Tour
  • About
  • Community guidelines
  • Privacy
  • Terms
  • Contact

© 2026 fraeon. All rights reserved. ·

Metadata from TMDB, RAWG, Jikan & Open Library. This product uses the TMDB API but is not endorsed or certified by TMDB.

Questions or ideas? mehmet@avortas.com

HomeFeedProfile
The Z notation

The Z notation

by J. M. Spivey

1989Z (Computer program language)Z (computer program language)
0.0
Open Library
Open Library

Themes & subjects

Z (Computer program language)Z (computer program language)
First published 1989

About the author

J. M. Spivey
J. M. Spivey

Author

J. M. Spivey

First published

1989

Pages

158

Read time

≈ 4h

Editions

2

Language

English

Publisher

Prentice Hall

ISBN

013983768X

Where to buy

TR
Amazon Bookshop

Reviews

No reviews yet — be the first to write one from the Log screen.

Quotes

No quotes yet.

Discussions

Similar books

The Way of Z

Formal methods (Computer science) · Z (Computer program language)

The Way of Z

Jonathan Jacky

1996

Managing NFS and NIS

Protocoles de réseaux d'ordinateurs · Performance

Managing NFS and NIS

Hal Stern

1991

Refinement in Z and Object-Z

Z (Computer program language) · Object-oriented programming (Computer science)

Refinement in Z and Object-Z

John Derrick

2001

A programmer's guide to ZPL

ZPL (Computer program language) · Computer programs

A programmer's guide to ZPL

Lawrence Snyder

1999

ZB 2000

Congresses · B (Computer program language)

ZB 2000

International Conference of B and Z Users (1st 2000 York, England)

2000

Z

Z (Computer program language) · Formal methods (Computer science)

Z

Antoni Diller

1990

ZUM '97, the Z formal specification notation

Congresses · Z (Computer program language)

ZUM '97, the Z formal specification notation

International Conference of Z Users (10th 1997 Reading, England)

1997

Understanding Z

Z (Computer program language) · Semantics

Understanding Z

J. M. Spivey

1988

An introduction to formal specification and Z

Development · Computer software

An introduction to formal specification and Z

Ben Potter

1991

The Object-Z Specification Language

Electronic data processing · Computer science

The Object-Z Specification Language

Graeme Smith

1999

Z User Workshop

Logic design · Computer science

Z User Workshop

John E. Nicholls

1990

Formal Specification Using Z (Computer Science)

Z (computer program language) · Z (Computer program language)

Formal Specification Using Z (Computer Science)

David Lightfoot

1991

Using Z

Z (Computer program language)

Using Z

Jim Woodcock

1996