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