Image from Amazon.com
Specification in B [electronic resource] : an introduction using the B toolkit / Kevin Lano, Howard Haughton.
Material type:
TextPublication details: London : Imperial College Press ; Singapore ; River Edge, NJ : Distributed by World Scientific Pub., c1996.Description: 1 online resource (xi, 242 p.) : illISBN: - 9781848161061 (electronic bk.)
- 1848161069 (electronic bk.)
- B (Computer program language)
- B (Langage de programmation)
- B (langage de programmation)
- Méthode B (informatique)
- Logiciels -- Développement
- B (Programmiersprache)
- COMPUTERS / Programming / Open Source
- COMPUTERS / Software Development & Engineering / General
- COMPUTERS / Software Development & Engineering / Tools
- 005.1/01/5113 22
- QA76.73.B155 L364 1996eb
- ST 130
- ST 230
- ST 263
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
eBook
|
e-Library | EBSCO Computers | Available |
Total holds: 0
Includes bibliographical references (p. 183-186) and index.
Description based on print version record.