Modular Specification and Verification of Object-Oriented Programs pdf epub mobi txt 电子书 下载 2024
简体网页||繁体网页
Peter Müller
1 edition (2002年3月1日)
2002-5
292
110.00
平装
9783540431671
图书标签:
喜欢 Modular Specification and Verification of Object-Oriented Programs 的读者还喜欢
下载链接在页面底部
点击这里下载
发表于2024-11-13
Modular Specification and Verification of Object-Oriented Programs epub 下载 mobi 下载 pdf 下载 txt 电子书 下载 2024
Modular Specification and Verification of Object-Oriented Programs epub 下载 mobi 下载 pdf 下载 txt 电子书 下载 2024
Modular Specification and Verification of Object-Oriented Programs pdf epub mobi txt 电子书 下载 2024
图书描述
在线阅读本书
This book presents new techniques for the formal specification and verification of object-oriented software. Since modularity is of critical importance for reuse and component-based programming, special emphasis is given to the completeness of the presented specification techniques to allow module verification based on the specification of the imported modules. A formal framework developed for a Java subset illustrates these new techniques.
著者简介
图书目录
Modular Specification and Verification of Object-Oriented Programs pdf epub mobi txt 电子书 下载
用户评价
评分
评分
评分
评分
评分
读后感
评分
评分
评分
评分
评分
类似图书 点击查看全场最低价
Modular Specification and Verification of Object-Oriented Programs pdf epub mobi txt 电子书 下载 2024
分享链接
pdf 电子书 下载
epub 电子书 下载
mobi 电子书 下载
txt 电子书 下载
Modular Specification and Verification of Object-Oriented Programs pdf 电子书 下载链接
Modular Specification and Verification of Object-Oriented Programs pdf 电子书 下载链接
相关图书
-
Women Lawyers pdf epub mobi txt 电子书 下载 -
Information Retrieval Techniques for Speech Applications pdf epub mobi txt 电子书 下载
-
Wonder and Critical Reflection pdf epub mobi txt 电子书 下载
-
Computational Linguistics and Intelligent Text Processing: Third International Conference, CICLing 2 pdf epub mobi txt 电子书 下载
-
Applications of Evolutionary Computing应用进化计算法 pdf epub mobi txt 电子书 下载
-
Practice and Theory of Automated Timetabling III 自动时间表生成的实践与理论III pdf epub mobi txt 电子书 下载
-
Wonders of Life pdf epub mobi txt 电子书 下载
-
Foundations of Information and Knowledge Systems: Second International Symposium, FoIKS 2002 Salzau pdf epub mobi txt 电子书 下载
-
Advances in Information Retrieval pdf epub mobi txt 电子书 下载
-
Word Studies on the Holy Spirit pdf epub mobi txt 电子书 下载
-
From Theory to Practice in Multi-Agent Systems: Second International Workshop of Central and Eastern pdf epub mobi txt 电子书 下载
-
Words and the Word pdf epub mobi txt 电子书 下载
-
Artificial Neural Networks - ICANN 2001 pdf epub mobi txt 电子书 下载
-
Wordsworth's Pope pdf epub mobi txt 电子书 下载
-
Haptic Human-Computer Interaction 触觉人机交互作用 pdf epub mobi txt 电子书 下载
-
Automated Deduction in Geometry pdf epub mobi txt 电子书 下载
-
Modeling and Verification of Parallel Processes pdf epub mobi txt 电子书 下载
-
Engineering of Intelligent Systems: 14th International Conference on Industrial and Engineering Appl pdf epub mobi txt 电子书 下载
-
Advances in Soft Computing - AFSS 2002 pdf epub mobi txt 电子书 下载
-
The World of the Imagination pdf epub mobi txt 电子书 下载
