Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction Autor Benjamin Weiß 18 aug 2014 Paperback Preț: 327.68 lei 409.60 lei 3-5 săpt. -20%
