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 2000

ZB 2000

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

2000CongressesB (Computer program language)Z (Computer program language)Programming languages (electronic computers)
0.0
Open Library
Open Library

Themes & subjects

CongressesB (Computer program language)Z (Computer program language)Programming languages (electronic computers)
First published 2000

Author

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

First published

2000

Pages

510

Read time

≈ 13h

Editions

3

Language

English

Publisher

Springer

ISBN

9783540679448

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

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

Capitalism, Socialism and Democracy

Socialism · Democracy

Capitalism, Socialism and Democracy

Joseph Alois Schumpeter

1942

Dicho Y Hecho

English · English speakers

Dicho Y Hecho

Laila M. Dawson

1993

Job scheduling strategies for parallel processing

Computer capacity · Congresses

Job scheduling strategies for parallel processing

JSSPP'99 (1999 San Juan, P.R.)

1995

Documents diplomatiques

Armenian question · Automobiles

Documents diplomatiques

Ministère des Affaires étrangères (France)

1872

The Door into Summer

American Science fiction · Cold Sleep

The Door into Summer

Robert A. Heinlein

1957

UML-B Specification for Proven Embedded Systems Design

Embedded computer systems · Application software

UML-B Specification for Proven Embedded Systems Design

Jean Mermet

1899

Program development by refinement

B (Computer program language) · Computer science

Program development by refinement

K. Sere

1998

ZB 2005

B (Computer program language) · Congresses

ZB 2005

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

2005

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