Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction

Authors: Weiß, Benjamin

Ask AI a Question

ASIN: 3866446233 (CA)

65.21 CAD Usually ships within 6 to 7 days

Category: N/A (Slug: computers-technology/programming/languages-tools)

Ask a Question about "Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction"

0 / 300