Transformations of Specifications and Proofs to Support an Evolutionary Formal Software Development BERICHTE AUS DER INFORMATIK Autor Axel Schairer 31 iul 2006 Paperback Preț: 274.97 lei 343.71 lei Indisponibil temporar -20%
