言語
Meseguer, Jose.
概観
著作: | 1 作品に 2 出版物中に 1 言語 |
---|
タイトル
Logic, rewriting, and concurrency[electronic resource] :essays dedicated to Jose Meseguer on the occasion of his 65th birthday /
…で:
Marti-Oliet, Narciso.; Meseguer, Jose.; Olveczky, Peter Csaba.; SpringerLink (Online service); Talcott, Carolyn.
(言語・文字資料 (印刷物))
Specification, algebra, and software[electronic resource] :essays dedicated to Kokichi Futatsugi /
…で:
Iida, Shusaku.; Meseguer, Jose.; Ogata, Kazuhiro.; SpringerLink (Online service)
(言語・文字資料 (印刷物))