| From Formal Semantics to Verified Slicing: A Modular Framework with Applications in Language Based Security Contributor(s): Wasserrab, Daniel (Author) |
|
 |
ISBN: 3866445946 ISBN-13: 9783866445949 Publisher: Karlsruher Institut Fur Technologie OUR PRICE: $61.75 Product Type: Paperback Published: August 2014 |
| Additional Information |
| BISAC Categories: - Computers | Programming Languages - General |
| Physical Information: 0.47" H x 5.83" W x 8.27" (0.60 lbs) 224 pages |