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