Modular Specification and Verification of Object-Oriented Programs 2025 pdf epub mobi 电子书
简体网页||繁体网页
Modular Specification and Verification of Object-Oriented Programs 2025 pdf epub mobi 电子书 著者简介
Modular Specification and Verification of Object-Oriented Programs 电子书 图书目录
下载链接在页面底部
下载链接1
下载链接2
下载链接3
发表于2025-03-31
Modular Specification and Verification of Object-Oriented Programs 2025 pdf epub mobi 电子书
Modular Specification and Verification of Object-Oriented Programs 2025 pdf epub mobi 电子书
Modular Specification and Verification of Object-Oriented Programs 2025 pdf epub mobi 电子书
喜欢 Modular Specification and Verification of Object-Oriented Programs 电子书 的读者还喜欢
Modular Specification and Verification of Object-Oriented Programs 电子书 读后感
评分
评分
评分
评分
评分
类似图书 点击查看全场最低价
出版者:1 edition (2002年3月1日)
作者:Peter Müller
出品人:
页数:292
译者:
出版时间:2002-5
价格:110.00
装帧:平装
isbn号码:9783540431671
丛书系列:
图书标签:
Modular Specification and Verification of Object-Oriented Programs 2025 pdf epub mobi 电子书 图书描述
在线阅读本书
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 2025 pdf epub mobi 电子书
Modular Specification and Verification of Object-Oriented Programs 2025 pdf epub mobi 用户评价
评分
评分
评分
评分
评分
Modular Specification and Verification of Object-Oriented Programs 2025 pdf epub mobi 电子书
分享链接
Modular Specification and Verification of Object-Oriented Programs pdf 下载
Modular Specification and Verification of Object-Oriented Programs epub 下载
Modular Specification and Verification of Object-Oriented Programs mobi 下载
Modular Specification and Verification of Object-Oriented Programs txt 下载
Modular Specification and Verification of Object-Oriented Programs 2025 pdf epub mobi 电子书 下载链接
Modular Specification and Verification of Object-Oriented Programs 2025 pdf epub mobi 电子书 下载链接
相关图书
-
Women Lawyers 2025 pdf epub mobi 电子书 -
Information Retrieval Techniques for Speech Applications 2025 pdf epub mobi 电子书
-
Wonder and Critical Reflection 2025 pdf epub mobi 电子书
-
Computational Linguistics and Intelligent Text Processing: Third International Conference, CICLing 2 2025 pdf epub mobi 电子书
-
Applications of Evolutionary Computing应用进化计算法 2025 pdf epub mobi 电子书
-
Practice and Theory of Automated Timetabling III 自动时间表生成的实践与理论III 2025 pdf epub mobi 电子书
-
Wonders of Life 2025 pdf epub mobi 电子书
-
Foundations of Information and Knowledge Systems: Second International Symposium, FoIKS 2002 Salzau 2025 pdf epub mobi 电子书
-
Advances in Information Retrieval 2025 pdf epub mobi 电子书
-
Word Studies on the Holy Spirit 2025 pdf epub mobi 电子书
-
From Theory to Practice in Multi-Agent Systems: Second International Workshop of Central and Eastern 2025 pdf epub mobi 电子书
-
Words and the Word 2025 pdf epub mobi 电子书
-
Artificial Neural Networks - ICANN 2001 2025 pdf epub mobi 电子书
-
Wordsworth's Pope 2025 pdf epub mobi 电子书
-
Haptic Human-Computer Interaction 触觉人机交互作用 2025 pdf epub mobi 电子书
-
Automated Deduction in Geometry 2025 pdf epub mobi 电子书
-
Modeling and Verification of Parallel Processes 2025 pdf epub mobi 电子书
-
Engineering of Intelligent Systems: 14th International Conference on Industrial and Engineering Appl 2025 pdf epub mobi 电子书
-
Advances in Soft Computing - AFSS 2002 2025 pdf epub mobi 电子书
-
The World of the Imagination 2025 pdf epub mobi 电子书
