Back

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

Wasserrab, Daniel
2,275 TWD
Member Price
2,048
Publisher
KIT SCIENTIFIC PUBLISHING
Publication Date
-
ISBN
9783866445949
Pages
-
Item Type
Book
Format
Paperback

Unavailable

This product is currently out of stock. Please check back later.

Discount is applied at checkout.

Recently Viewed Items

Related Products