Loading...
Software abstractions Logic, language, and analysis /
| Main Author: | |
|---|---|
| Language: | Undetermined |
| Published: |
New Delhi :
PHI learning ,
2006.
|
| LEADER | 00536nam a2200157Ia 4500 | ||
|---|---|---|---|
| 001 | 169515 | ||
| 008 | 170722s9999 xx 000 0 und d | ||
| 020 | |a 9788120331709 | ||
| 100 | |a Jackson, Daniel | ||
| 245 | |a Software abstractions |b Logic, language, and analysis / | ||
| 260 | |a New Delhi : |b PHI learning , |c 2006. | ||
| 300 | |a xvi+350/- | ||
| 923 | |d 20110118 |n 700101 | ||
| 942 | |c GEN | ||
| 999 | |c 144585 |d 144585 | ||
| 952 | |0 0 |1 0 |4 0 |6 D_6513_000000000000000_P63 |7 0 |9 204319 |a LIB |b LIB |d 2013-03-25 |e D C Books |o D6513 P63 |p 282126 |r 2017-08-12 |w 2017-08-12 |y GEN | ||