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
Program development by refinement

Program development by refinement

by K. Sere

B (Computer program language)Computer scienceSoftware engineeringFormal languages
0.0
Open Library
Open Library

Themes & subjects

B (Computer program language)Computer scienceSoftware engineeringFormal languages

About the author

K. Sere

1954

Author

K. Sere

Pages

364

Read time

≈ 9h

Editions

2

Language

English

Publisher

Springer

ISBN

9781852330538

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

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

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

Advances in Computers, Volume 49 (Advances in Computers)

Computers, periodicals · Electronic data processing

Advances in Computers, Volume 49 (Advances in Computers)

Marvin V. Zelkowitz

1995

Job scheduling strategies for parallel processing

Computer capacity · Congresses

Job scheduling strategies for parallel processing

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

1995

Transactions on Engineering Technologies

Computer engineering · Software engineering

Transactions on Engineering Technologies

Sio-Iong Ao

2013

Hacking for Dummies

Computer Technology · Computer hackers

Hacking for Dummies

Kevin Beaver

2004

Computational Linguistics and Intelligent Text Processing

Data Mining and Knowledge Discovery · Database management

Computational Linguistics and Intelligent Text Processing

Alexander Gelbukh

2003

Artificial Intelligence Applications and Innovations

Artificial intelligence · Technological innovations

Artificial Intelligence Applications and Innovations

Lazaros S. Iliadis

2006

Artificial Intelligence and Soft Computing

Computer Imaging, Vision, Pattern Recognition and Graphics · Database management

Artificial Intelligence and Soft Computing

Leszek Rutkowski

2012