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