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