Formal Methods for Quantitative Aspects of Programming Languages

Name: Formal Methods for Quantitative Aspects of Programming Languages
ISBN: 9786613565143

Alessandro Aldini , Bernardo Marco , Di Pierro Alessandra

还没有评分