The B-method : an introduction
| Main Author: | |
|---|---|
| Format: | Book |
| Published: |
New York:
Palgrave,
2001.
|
| Series: | Series editors:Richard Bird and Tony Hoare
|
| Subjects: |
| Main Author: | |
|---|---|
| Format: | Book |
| Published: |
New York:
Palgrave,
2001.
|
| Series: | Series editors:Richard Bird and Tony Hoare
|
| Subjects: |