Static Analysis: 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings [平装] 3540423141

配送至
$ $ USD 美元

商品编号: 1415264 类别: 图书 进口原版 Science（科学） Mathematics（数学）
出版社Springer
作者Patrick Cousot