Deductive verification of object-oriented software
dynamic frames, dynamic logic and predicate abstraction
Autor:
Benjamin Weiß
Dostupnosť:
Skladom u dodávateľa
Odosielame za 8-11 dní
28.22
€
Software systems play a central role in modern society, and their correctness is often crucially imp...
