Formal Methods for Quantitative Aspects of Programming Languages

Formal Methods for Quantitative Aspects of Programming Languages

Formal Methods for Quantitative Aspects of Programming Languages
2010167 psl.ISBN 9783642136771
Viršelis: MinkštasAnglų k.