000			00893nam a22001937a 4500
005			20250704120430.0
008			250704b |||||||| |||| 00| 0 eng d
020			_a9780521021753 _qpbk
041			_aeng
082			_a005.1 _bABR
100			_aAbrial Jean-raymond
245			_aThe B-book _b: assigning programs to meanings _cJean-Raymond Abrial
260			_aCambridge _b Cambridge University Press, , _c1996
300			_axxxiv; 779 p. _c23 cm.
504			_aindex
520			_aThe long-awaited B-Book is the standard reference for everything concerning the B Method, written by its inventor, J.-R. Abrial. Formal methods practitioners, computer scientists, and systems developers at last will have access to the definitive account of what will become one of the standard approaches to the construction of software systems.
650			_a B Method (Computer Science)
942			_cREF
999			_c574754 _d574754