Deductive verification of object-oriented software
dynamic frames, dynamic logic and predicate abstraction
Szerző:
Benjamin Weiß
Elérhetőség:
Beszállítói készleten
Küldés 8-11 napon belül
10 961
Ft
Software systems play a central role in modern society, and their correctness is often crucially imp...
