跳转到主要内容

Logic, Computation and Rigorous Methods

教师个人信息

姓名
Klaus-Dieter Schewe 浙江大学教师主页
学院
ZJUI
研究方向
精密解法、逻辑和语义,数据和知识库理论,分布式和混合系统
成果类型
图书
Logic, Computation and Rigorous Methods

出版物信息

副标题
Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday
图书作者
Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe
出版社
Springer
P-ISBN
9783030760199
E-ISBN
9783030760205
摘要

It acknowledges Prof. Börger's inspiration as a scientist, author, mentor, and community organizer. Dedicated to a pioneer in the fields of logic and computer science, Egon Börger's research interests are unusual in scope, from programming languages to hardware architectures, software architectures, control systems, workflow and interaction patterns, business processes, web applications, and concurrent systems.

DOI
https://doi.org/10.1007/978-3-030-76020-5

纸电馆藏信息

数据库
Springer
电子图书链接