From Formal Semantics to Verified Slicing

From Formal Semantics to Verified Slicing: A Modular Framework with Applications in Language Based Security

Paperback Published on: 18/08/2014
£34.00
No reviews yet, be the first
Free UK delivery on orders over £25
We can order this from the publisher
Usually dispatched within 3 weeks
Make and edit your lists in your account
No stock available in any shop.
We can order this from the publisher
Usually dispatched within 3 weeks
No stock available in any shop.

Publisher information

  • Publisher: Karlsruher Institut Fur Technologie
  • ISBN: 9783866445949
  • Number of pages: 224
  • Dimensions: 210 x 148 x 12 mm
  • Weight: 272g
  • Languages: English

Customer Reviews