The B-method : an introduction
Main Author: | |
---|---|
Format: | Book |
Published: |
New York:
Palgrave,
2001.
|
Series: | Series editors:Richard Bird and Tony Hoare
|
Subjects: |
Physical Description: | viii, 370p.: ill.; 25 cm. |
---|---|
ISBN: | 033379284X (pbk) |