教师个人信息
- 姓名
- Klaus-Dieter Schewe 浙江大学教师主页
- 学院
- ZJUI
- 研究方向
-
精密解法、逻辑和语义，数据和知识库理论，分布式和混合系统
- 成果类型
- 图书
出版物信息
- 副标题
-
5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
- 图书作者
- 出版社
-
Springer
- P-ISBN
-
9783319335995
- E-ISBN
-
9783319336008
- 摘要
-
This book constitutes the refereed proceedings of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, in May 2016.
The 17 full and 15 short papers presented in this volume were carefully reviewed and selected from 61 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z. - DOI
- https://doi.org/10.1007/978-3-319-33600-8
纸电馆藏信息
- 数据库
-
Springer
- 电子图书链接