书目详细信息 : Modelle fur rechensysteme herausgegeben von