Specification in B: an introduction using the B toolkit
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | Undetermined |
| Published: |
London
Imperial College Press.
1996
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
| LEADER | 00000nam a2200000Ia 4500 | ||
|---|---|---|---|
| 008 | 171016s9999 xx 000 0 und d | ||
| 020 | |a 1860940188 | ||
| 082 | |a 005.117 LAN/HAU | ||
| 100 | |a Lano, K. |9 80823 | ||
| 245 | 0 | |a Specification in B: an introduction using the B toolkit | |
| 260 | |a London | ||
| 260 | |b Imperial College Press. | ||
| 260 | |c 1996 | ||
| 300 | |a xi,242p | ||
| 650 | |a 2015 - 2016 / Degree College |9 81201 | ||
| 942 | |c BK | ||
| 999 | |c 506958 |d 506958 | ||
| 952 | |0 0 |1 0 |4 0 |6 005_117000000000000_LAN_HAU |7 0 |9 325933 |a 00008056 |b 00008056 |d 2015-12-01 |l 0 |o 005.117 LAN/HAU |p D056231 |r 2017-10-31 |w 2017-10-31 |y BK | ||