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.75 lei 343.43 lei Indisponibil temporar -20%
