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
Software engineering with B

Software engineering with B

by J. B. Wordsworth

1996Software engineeringB (Computer program language)software specificationsoftware designsoftware implementation
0.0
Open Library
Open Library

About this book

Specifying, designing and implementing software with the B formal method.

Themes & subjects

Software engineeringB (Computer program language)software specificationsoftware designsoftware implementation
First published 1996

Author

J. B. Wordsworth

First published

1996

Pages

331

Read time

≈ 8h

Editions

1

Language

English

Publisher

Addison-Wesley

ISBN

0201403560

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

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

Software Engineering

Software engineering · Electronic digital computers

Software Engineering

Roger S. Pressman

1982

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

Intelligent Robotics and Applications

Computer vision · Information systems

Intelligent Robotics and Applications

Honghai Liu

2010

Parallel Processing and Applied Mathematics

Programming Techniques · Software engineering

Parallel Processing and Applied Mathematics

Roman Wyrzykowski

2003

Evaluation of Novel Approaches to Software Engineering

Information Systems · Software engineering

Evaluation of Novel Approaches to Software Engineering

Leszek A. Maciaszek

2011

Foundations and Practice of Security

Computer Imaging, Vision, Pattern Recognition and Graphics · Information systems

Foundations and Practice of Security

Joaquin Garcia-Alfaro

2012

Business Modeling and Software Design

Economics/Management Science · Information systems

Business Modeling and Software Design

Boris Shishkov

2012

Computer Information Systems and Industrial Management

Manufacturing processes · Production engineering

Computer Information Systems and Industrial Management

Khalid Saeed

2012

Information and Communication Technologies in Education, Research, and Industrial Applications

Information technology · Educational technology

Information and Communication Technologies in Education, Research, and Industrial Applications

Vadim Ermolayev

2013

Parallel Computing Technologies

Computer simulation · Computer science

Parallel Computing Technologies

Victor Malyshkin

2003

Software engineering

Software Engineering · Computer programs

Software engineering

Ian Sommerville

1982

Classical and object-oriented software engineering

Software engineering · Object-oriented programming (Computer science)

Classical and object-oriented software engineering

Stephen R. Schach

1996

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

ZB 2005

B (Computer program language) · Congresses

ZB 2005

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

2005