|
科图分类法:
|
TP311.55 版次： |
|
中图分类法:
|
TP311.55 版次： |
|
题名:
|
Static analysis of software : [ the abstract interpretation /] / , |
|
出版发行:
|
出版地： London : 出版社： ISTE ; 出版日期： 2012. |
|
载体形态:
|
xiv, 331 p. : ill. ; 24 cm. |
|
内容提要:
|
This book presents real examples of the formal techniques called "abstract interpretation" currently being used in various industrial fields: railway, aeronautics, space, automotive, etc. |
|
主题词:
|
Computer software Testing. |
|
主题词:
|
Debugging in computer science. |
|
主题词:
|
Computer software Quality control. |
|
主要责任者:
|
Boulanger, Jean-Louis. |
|
索书号:
|
1 |