Loading...
Software abstractions: logic, language and analysis
| Main Author: | |
|---|---|
| Format: | Printed Book |
| Published: |
New Delhi
PHI Learning
2009
|
| LEADER | 00443nam a2200133 4500 | ||
|---|---|---|---|
| 020 | |a 9788120331709 | ||
| 082 | |a 005.1 |b JAC/S | ||
| 100 | |a Jackson, Daniel | ||
| 245 | |a Software abstractions: logic, language and analysis | ||
| 260 | |a New Delhi |b PHI Learning |c 2009 | ||
| 300 | |a 350p | ||
| 942 | |c BK | ||
| 999 | |c 55580 |d 55580 | ||
| 952 | |0 0 |1 0 |4 0 |6 005_100000000000000_JACS |7 0 |9 62751 |a KUCL |b KUCL |d 2018-11-28 |g 325.00 |l 0 |o 005.1 JAC/S |p 46090 |r 2018-11-28 |w 2018-11-28 |y BK | ||