From formal semantics to verified slicing : a modular framework with applications in language based security : Dissertationsschrift (2011. XIX, 203 S. graph. Darst. 21 cm)

Available to Order

Usually dispatches within 8-10 business days

While every attempt has been made to ensure stock availability, occasionally we may run out of stock at our stores.