|
|
|
|
| LEADER |
00587nam a2200169Ia 4500 |
| 001 |
169146 |
| 008 |
170722s9999 xx 000 0 und d |
| 020 |
|
|
|a 9788184893960
|
| 100 |
|
|
|a Bradley, Aaron R.
|
| 245 |
|
|
|a Calculus of computation
|b Decision procedures with applications to verification /
|
| 260 |
|
|
|a New Delhi :
|b Springer ,
|c 2007.
|
| 300 |
|
|
|a xv+366
|
| 700 |
|
|
|a Manna , Zohar
|
| 923 |
|
|
|d 20110118
|n 700107
|
| 942 |
|
|
|c GEN
|
| 999 |
|
|
|c 144913
|d 144913
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 D_6513_000000000000000_P77
|7 0
|9 204790
|a LIB
|b LIB
|d 2013-03-25
|e D C Books
|o D6513 P77
|p 282609
|r 2017-08-12
|w 2017-08-12
|y GEN
|