00535pamaa2200181 4500 0000039097 20140922090000.0 033379284X (pbk) 005.133 SCH 1996 QA76.73 SCH 1996 SCHNEIDER The B-method : an introduction Steve Schneider. New York: Palgrave, 2001. viii, 370p.: ill.; 25 cm. Series editors:Richard Bird and Tony Hoare BSECU Software engineering B (Computer program language)