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

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

By (author) 

Free delivery worldwide

Available. Dispatched from the UK in 6 business days
When will my order arrive?

Product details

  • Paperback | 224 pages
  • 148.08 x 210.06 x 12.95mm | 362.87g
  • Karlsruher Institut für Technologie
  • English
  • 3866445946
  • 9783866445949