Deductive verification of object-oriented software
dynamic frames, dynamic logic and predicate abstraction
Autor:
Benjamin Weiß
Disponibilitate:
În depozitul extern
Expediem în 8-11 zile
156.77
lei
Software systems play a central role in modern society, and their correctness is often crucially imp...
