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

Name: From formal semantics to verified slicing : a modular framework with applications in language based security : Dissertationsschrift (2011. XIX, 203 S. graph. Darst. 21 cm)
Brand: KIT SCIENTIFIC PUBLISHING
SKU: 00000_00000_00000_00000
Price: 2275.00 TWD
Availability: OutOfStock