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
ZB 2005

ZB 2005

by International Conference of B and Z Users (4th 2005 Guildford, England)

B (Computer program language)CongressesZ (Computer program language)Computers
0.0
Open Library
Open Library

Themes & subjects

B (Computer program language)CongressesZ (Computer program language)Computers

Author

International Conference of B and Z Users (4th 2005 Guildford, England)

Pages

491

Read time

≈ 12h

Editions

1

Language

English

Publisher

Springer

ISBN

9783540255598

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

UML-B Specification for Proven Embedded Systems Design

Embedded computer systems · Application software

UML-B Specification for Proven Embedded Systems Design

Jean Mermet

1899

ZB 2000

Congresses · B (Computer program language)

ZB 2000

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

2000

Program development by refinement

B (Computer program language) · Computer science

Program development by refinement

K. Sere

1998

Specification in B

B (Computer program language) · Programming languages (electronic computers)

Specification in B

K. Lano

1996

The B language and method

Development · B (Computer program language)

The B language and method

K. Lano

1996

The B-book

B method (Computer science) · Computer science

The B-book

Jean-Raymond Abrial

1996

ZB 2002: formal specification and development in Z and B

B (Computer program language) · Congresses

ZB 2002: formal specification and development in Z and B

International Conference of B and Z Users (2nd 2002 Grenoble, France)

2002

ZB 2005

B (Computer program language) · Congresses

ZB 2005

1899

ZB 2002: formal specification and development in Z and B

B (Computer program language) · Congresses

ZB 2002: formal specification and development in Z and B

2002

ZB 2003

B (Computer program language) · Congresses

ZB 2003

Jonathan P. Bowen

2003

Software engineering with B

Software engineering · B (Computer program language)

Software engineering with B

J. B. Wordsworth

1996

Manifest der Kommunistischen Partei

Communism · Sources

Manifest der Kommunistischen Partei

Karl Marx

1848

Nicomachean Ethics

Ethics · Early works to 1800

Nicomachean Ethics

Aristotle

1558

Lord Jim

Fiction · British

Lord Jim

Joseph Conrad

1900

Θεαίτητος

Theory of Knowledge · Ancient Philosophy

Θεαίτητος

Πλάτων

1861

Sartor resartus

Fiction · Philosophers

Sartor resartus

Thomas Carlyle

1800

La nausée

Existentialism · Fiction

La nausée

Jean-Paul Sartre

1938

Rembrandt

Etching · Dutch Painting

Rembrandt

Rembrandt Harmenszoon van Rijn

1900