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
Specification in B

Specification in B

by K. Lano

1996B (Computer program language)Programming languages (electronic computers)
0.0
Open Library
Open Library

Themes & subjects

B (Computer program language)Programming languages (electronic computers)
First published 1996

Author

K. Lano

First published

1996

Pages

242

Read time

≈ 6h

Editions

1

Language

English

Publisher

Imperial College Press

ISBN

1860940080

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

ZB 2005

B (Computer program language) · Congresses

ZB 2005

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

2005

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

Java for dummies

Computer Technology · Java (Computer program language)

Java for dummies

Barry A. Burd

2006

Learning Perl

Perl (Computer program language) · Perl (Computer utility)

Learning Perl

Randal L. Schwartz

1993

The C++ programming language

C++ (Computer program language) · C++ (Computer programming language)

The C++ programming language

Bjarne Stroustrup

1986

Reproducible Research with R and RStudio

Research, data processing · Programming languages (electronic computers)

Reproducible Research with R and RStudio

Christopher Gandrud

2013

Raspberry Pi User Guide

Raspberry Pi (Computer) · Programming

Raspberry Pi User Guide

Eben Upton

2012

Programming Perl

Perl (Computer program language) · Programming languages

Programming Perl

Larry Wall

1990

R for Programmers

Programming languages (electronic computers) · Computer programming

R for Programmers

Dan Zhang

2016