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