Gå direkt till innehållet
  1. Böcker
  2. Böcker på engelska

From Formal Semantics to Verified Slicing

Författare:
engelska
43,40 €

Undertitel
A Modular Framework with Applications in Language Based Security
Författare
Daniel Wasserrab
ISBN
9783866445949
Språk
engelska
Vikt
272 gram
Utgivningsdatum
18.8.2014
Sidor
224