Building High Integrity Applications with SPARK Autor John W. McCormick et al. 30 aug 2015 Paperback Preț: 367.85 lei 459.81 lei 43-57 zile -20%