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ț: 937.72 lei 1143.57 lei 43-57 zile -18%
