Loading...
Program Logics for Certified Compilers
| Main Author: | |
|---|---|
| Format: | Printed Book |
| Published: |
CUP
2014
|
| LEADER | 00301 a2200097 4500 | ||
|---|---|---|---|
| 100 | |a Andrew W Appel | ||
| 245 | |a Program Logics for Certified Compilers | ||
| 260 | |c 2014 |b CUP | ||
| 942 | |c BK |6 _ | ||
| 999 | |c 70435 |d 70435 | ||
| 952 | |0 0 |1 0 |4 0 |6 _ |7 0 |9 82510 |a UL |b UL |d 2015-02-16 |e 238 |g 0.00 |p 00073190 |r 2015-03-04 |v 0.00 |w 2015-02-16 |y BK | ||