Building High Integrity Applications with SPARK Autor John W. McCormick et al. 30 aug 2015 Paperback Preț: 357.36 lei 446.70 lei 6-8 săpt. -20%