From Formal Semantics to Verified Slicing
A Modular Framework with Applications in Language Based Security
Häftad, Engelska, 2014
629 kr
Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.Produktinformation
- Utgivningsdatum2014-08-18
- Mått148 x 210 x 12 mm
- Vikt272 g
- FormatHäftad
- SpråkEngelska
- Antal sidor224
- FörlagKarlsruher Institut Fur Technologie
- ISBN9783866445949