語系
跳至 : 概要 | 書目資訊 | 主題

Meseguer, Jose.

概要
作品: 2 作品在 2 項出版品 1 種語言
書目資訊
Logic, rewriting, and concurrency = essays dedicated to Jose Meseguer on the occasion of his 65th birthday / by: Meseguer, Jose.; Marti-Oliet, Narciso.; Olveczky, Peter Csaba.; SpringerLink (Online service); Talcott, Carolyn. (書目-電子資源)
Specification, algebra, and software = essays dedicated to Kokichi Futatsugi / by: Iida, Shusaku.; Meseguer, Jose.; Ogata, Kazuhiro.; SpringerLink (Online service) (書目-電子資源)
Algebraic Methodology and Software Technology = 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings / by: Meseguer, Jose.; Rosu, Grigore.; SpringerLink (Online service); International Conference on Algebraic Methodology and Software Technology (2008 :) (書目-語言資料,印刷品)
Concurrency, Graphs and Models = Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday / by: Degano, Pierpaolo.; Meseguer, Jose.; Nicola, Rocco.; SpringerLink (Online service) (書目-語言資料,印刷品)
 
 
變更密碼
登入