Michel Bidoit, Peter D. Mosses ; with chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki.
354020766X (softcover : alk. paper) :
年份：
查看更多>>ISBN：354020766X (softcover : alk. paper) :
书名：CASL user manual :
出版日期：Springer,
关键字：CASL (Computer program language)
