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