TY  - BOOK
AU  - Boulanger,Jean-Louis
TI  - Formal methods applied to complex systems: implementation of the B Method 
T2  - Computer engineering series
SN  - 9781119002680
AV  - QA76.9.B22 
U1  - 005.1 23
PY  - 2014///
CY  - London, Hoboken, NJ
PB  - ISTE, Wiley
KW  - B method (Computer science)
KW  - Formal methods (Computer science)
KW  - COMPUTERS
KW  - Software Development & Engineering
KW  - General
KW  - bisacsh
KW  - fast
KW  - Electronic books
N1  - Includes bibliographical references and index; swe
UR  - http://dx.doi.org/10.1002/9781119002727
ER  -