Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification Editat de Robert Kurshan 5 oct 2012 Paperback Preț: 910.80 lei 1110.73 lei 6-8 săpt. -18%
