A Programming approach to formal methods
| Main Author: | |
|---|---|
| Published: |
England, London:
McGraw-Hill Book Co,
c1994..
|
| LEADER | 00563cam a2200193 7i4500 | ||
|---|---|---|---|
| 001 | 0000007507 | ||
| 005 | 20150327090000.0 | ||
| 003 | iicp-my | ||
| 005 | 20021204215000.0 | ||
| 008 | 000000 00 | ||
| 020 | |a 007707968X | ||
| 039 | 9 | |y 200212042150 |z VLOAD | |
| 090 | 0 | 0 | |a 005.3 |b CAS |
| 100 | 0 | |a Casey, Chris. | |
| 245 | 0 | 0 | |a A Programming approach to formal methods |c Chris Casey.. |
| 260 | |a England, London: |b McGraw-Hill Book Co, |c c1994.. | ||
| 300 | |a p.: |b ill.; |c cm.. | ||
| 900 | |a Popular Book Store | ||
| 999 | |a 1000013128 |b Book |c Yellow Spot | ||