Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction : Dissertationsschrift (2011. XXI, 269 S. 24 cm)

Name: Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction : Dissertationsschrift (2011. XXI, 269 S. 24 cm)
Brand: KIT SCIENTIFIC PUBLISHING
SKU: 00000_00000_00000_00000
Price: 1995.00 TWD
Availability: OutOfStock