請用此 Handle URI 來引用此文件：
http://localhost:8080/xmlui/handle/123456789/146231| 標題: | Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction |
| 作者: | Weiß, Benjamin |
| 公開日期: | 2007 |
| 出版社: | KIT Scientific Publishing |
| 連結: | http://library.oapen.org/bitstream/20.500.12657/24533/1/1005578.pdf |
| 關鍵字: | Computer science;History |
| ISBN: | 9783866446236 |
| 主題: | 教科書-自然科學類 |
文件中的檔案：
沒有與此文件相關的檔案。
在 DSpace 系統中的文件，除了特別指名其著作權條款之外，均受到著作權保護，並且保留所有的權利。