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