From Formal Semantics to Verified Slicing: A Modular Framework with Applications in Language Based Security: A Modular Framework with Applications in Language Based Security
Product ID: 3866445946
Condition: New
$ 239
includes Duties & VAT
Delivery: 10-20 working days
Ships from USA warehouse.
Secure Transaction
VISA
Mastercard
ozow
Product Description
From Formal Semantics to Verified Slicing: A Modular Framework with Applications in Language Based Security: A Modular Framework with Applications in Language Based Security
Technical Specifications
Country
USA
Manufacturer
KIT Scientific Publishing
Binding
Paperback
PartNumber
RKC2010430195
IsAdultProduct
Height
8.27
Length
5.83
Weight
0.59965735264
Width
0.51
NumberOfItems
1
Author
Wasserrab, Daniel







