TY  - BOOK
AU  - Lano,K.
AU  - Haughton,H.
TI  - Specification in B: an introduction using the B toolkit 
SN  - 9781848161061 (electronic bk.)
AV  - QA76.73.B155 L364 1996eb
U1  - 005.1/01/5113 22
PY  - 1996///
CY  - London, Singapore, River Edge, NJ
PB  - Imperial College Press, Distributed by World Scientific Pub.
KW  - B (Computer program language)
KW  - B (Langage de programmation)
KW  - B (langage de programmation)
KW  - ram
KW  - Méthode B (informatique)
KW  - Logiciels
KW  - Développement
KW  - B (Programmiersprache)
KW  - swd
KW  - COMPUTERS / Programming / Open Source
KW  - bisacsh
KW  - COMPUTERS / Software Development & Engineering / General
KW  - COMPUTERS / Software Development & Engineering / Tools
KW  - Electronic books
N1  - Includes bibliographical references (p. 183-186) and index
UR  - https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=491518
ER  -