語系
Boiten, Eerke.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Mathematics of program construction6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings /
by:
(1998 :); Boiten, Eerke.; Moller, Bernhard.; SpringerLink (Online service)
(書目-電子資源)
Refinementsemantics, languages and applications /
by:
Boiten, Eerke.; Derrick, John.; SpringerLink (Online service)
(書目-電子資源)