語系
Meseguer, Jose.
概要
作品: | 1 作品在 2 項出版品 1 種語言 |
---|
書目資訊
Logic, rewriting, and concurrency[electronic resource] :essays dedicated to Jose Meseguer on the occasion of his 65th birthday /
by:
Marti-Oliet, Narciso.; Meseguer, Jose.; Olveczky, Peter Csaba.; SpringerLink (Online service); Talcott, Carolyn.
(書目-語言資料,印刷品)
Specification, algebra, and software[electronic resource] :essays dedicated to Kokichi Futatsugi /
by:
Iida, Shusaku.; Meseguer, Jose.; Ogata, Kazuhiro.; SpringerLink (Online service)
(書目-語言資料,印刷品)