Rigorous Methods for Software Construction and Analysis : Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday /
| 主要作者: | |
|---|---|
| 格式: | 图书 |
| 语言: | 英语 |
| 出版: |
Berlín, Alemania :
Springer,
2009, c2009
|
| 丛编: | (Lecture Notes in Computer Science)
|
| 在线阅读: | Ver documento en línea |