Nets, Terms and Formulas

作者: Olderog, E. R.; Van Rijsbergen, C. J.; Abramsky, Samson
出版年: 2005-8
页数: 280
定价: $ 68.93
ISBN: 9780521018456