|
题名:
|
程序验证和规范的形式方法 / (美)H.K.伯格(Helmut K.Berg)等著 , |
|
ISBN:
|
7-03-000279-2 价格： 2.15 |
|
语种:
|
CHI |
|
载体形态:
|
41 |
|
出版发行:
|
出版地： 出版社： 科学出版社 出版日期： 1988 |
|
中图分类法:
|
TP31/2647 版次： |