語系
Borger, E. (1946-)
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Abstract state machines 2003advances in theory and practice : 10th international workshop, ASM 2003, Taormina, Italy, March 3-7, 2003 : proceedings /
by:
(1998 :); Borger, E. (1946-); Gargantini, Angelo, (1969-); Riccobene, Elvinia, (1964-); SpringerLink (Online service)
(書目-電子資源)
Logic, computation and rigorous methodsessays dedicated to Egon Borger on the occasion of his 75th birthday /
by:
Borger, E. (1946-); Raschke, Alexander.; Riccobene, Elvinia.; Schewe, Klaus-Dieter.; SpringerLink (Online service)
(書目-電子資源)