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