|
中图分类法:
|
TP312-532 版次： |
|
题名:
|
Languages : [ from formal to natural : essays dedicated to Nissim Francez on the occasion of his 65th birthday /] / , |
|
出版发行:
|
出版地： Berlin : 出版社： Springer, 出版日期： 2009. |
|
载体形态:
|
x, 244 p. : ill., port. ; 24 cm. |
|
附注:
|
"Symposium ... held on May 24-25, 2009 at the Technion, Haifa."-- Preface. |
|
主题词:
|
Programming languages (Electronic computers) |
|
主题词:
|
Computer software Verification |
|
主要责任者:
|
Grumberg, Orna. |
|
次要责任者:
|
Languages : from formal to natural |