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.77 lei 343.46 lei Indisponibil temporar -20%
