|
题名:
|
Formal methods of program verification and specification / Helmut K. Berg , |
|
ISBN:
|
价格： ￥2.10 |
|
语种:
|
eng |
|
载体形态:
|
207 p. |
|
出版发行:
|
出版地： Englewood Cliffs, N. J. 出版社： Prentice-Hall, Inc. 出版日期： 1982 |
|
主要责任者:
|
Berg |