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
Formal Specification Using Z (Computer Science)

Formal Specification Using Z (Computer Science)

by David Lightfoot

1991Z (computer program language)Z (Computer program language)Computer softwareDevelopmentFormal methods (Computer science)
4.0
Open Library
Open Library

Themes & subjects

Z (computer program language)Z (Computer program language)Computer softwareDevelopmentFormal methods (Computer science)Z (Langage de programmation)
First published 1991

About the author

David Lightfoot

1945

Author

David Lightfoot

First published

1991

Pages

2,001

Read time

≈ 50h

Editions

2

Language

English

Publisher

Palgrave Macmillan

ISBN

9780333763278

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

The Z notation

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

The Z notation

J. M. Spivey

1989

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

Using Z

Z (Computer program language)

Using Z

Jim Woodcock

1996