The B-method : an introduction
| Main Author: | |
|---|---|
| Format: | Book |
| Published: |
New York:
Palgrave,
2001.
|
| Series: | Series editors:Richard Bird and Tony Hoare
|
| Subjects: |
| LEADER | 00535pamaa2200181 4500 | ||
|---|---|---|---|
| 001 | 0000039097 | ||
| 005 | 20140922090000.0 | ||
| 020 | 0 | 0 | |a 033379284X (pbk) |
| 082 | |a 005.133 SCH 1996 | ||
| 090 | 0 | 0 | |a QA76.73 |b SCH 1996 |
| 100 | 1 | 0 | |a SCHNEIDER |
| 245 | 1 | 0 | |a The B-method : |b an introduction |c Steve Schneider. |
| 260 | 0 | 0 | |a New York: |b Palgrave, |c 2001. |
| 300 | |a viii, 370p.: |b ill.; |c 25 cm. | ||
| 440 | 0 | 0 | |a Series editors:Richard Bird and Tony Hoare |
| 501 | 0 | 0 | |a BSECU |
| 650 | 0 | 0 | |a Software engineering |
| 650 | 0 | 0 | |a B (Computer program language) |