找回密碼
 To register

QQ登錄

只需一步,快速開始

掃一掃,訪問微社區(qū)

打印 上一主題 下一主題

Titlebook: Refinement in Z and Object-Z; Foundations and Adva John Derrick,Eerke A. Boiten Book 2014Latest edition Springer-Verlag London 2014 Formal

[復(fù)制鏈接]
查看: 21729|回復(fù): 56
樓主
發(fā)表于 2025-3-21 18:18:16 | 只看該作者 |倒序?yàn)g覽 |閱讀模式
書目名稱Refinement in Z and Object-Z
副標(biāo)題Foundations and Adva
編輯John Derrick,Eerke A. Boiten
視頻videohttp://file.papertrans.cn/825/824680/824680.mp4
概述The most comprehensive text on refinement in state based systems.Includes detailed explanations and a wide range of illustrative examples, perfect for use as an advanced Under-Graduate or Masters text
圖書封面Titlebook: Refinement in Z and Object-Z; Foundations and Adva John Derrick,Eerke A. Boiten Book 2014Latest edition Springer-Verlag London 2014 Formal
描述.Refinement is one of the cornerstones of the formal approach to software engineering, and its use in various domains has led to research on new applications and generalisation. This book brings together this important research in one volume, with the addition of examples drawn from different application areas. It covers four main themes:.Data refinement and its application to Z.Generalisations of refinement that change the interface and atomicity of operations.Refinement in Object-Z.Modelling state and behaviour by combining Object-Z with CSP.Refinement in Z and Object-Z: Foundations and Advanced Applications. provides an invaluable overview of recent research for academic and industrial researchers, lecturers teaching formal specification and development, industrial practitioners using formal methods in their work, and postgraduate and advanced undergraduate students..This second edition is a comprehensive update to the first and includes the following new material:.Early chapters have been extended to also include trace refinement, based directly on partial relations rather than through totalisation.Provides an updated discussion on divergence, non-atomic refinements and approxi
出版日期Book 2014Latest edition
關(guān)鍵詞Formal Methods; Interfaces; Non-atomic Refinement; Object Orientation; Object-Z; Refinement in Object-Z; S
版次2
doihttps://doi.org/10.1007/978-1-4471-5355-9
isbn_softcover978-1-4471-6167-7
isbn_ebook978-1-4471-5355-9
copyrightSpringer-Verlag London 2014
The information of publication is updating

書目名稱Refinement in Z and Object-Z影響因子(影響力)




書目名稱Refinement in Z and Object-Z影響因子(影響力)學(xué)科排名




書目名稱Refinement in Z and Object-Z網(wǎng)絡(luò)公開度




書目名稱Refinement in Z and Object-Z網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Refinement in Z and Object-Z被引頻次




書目名稱Refinement in Z and Object-Z被引頻次學(xué)科排名




書目名稱Refinement in Z and Object-Z年度引用




書目名稱Refinement in Z and Object-Z年度引用學(xué)科排名




書目名稱Refinement in Z and Object-Z讀者反饋




書目名稱Refinement in Z and Object-Z讀者反饋學(xué)科排名




單選投票, 共有 1 人參與投票
 

0票 0.00%

Perfect with Aesthetics

 

0票 0.00%

Better Implies Difficulty

 

0票 0.00%

Good and Satisfactory

 

1票 100.00%

Adverse Performance

 

0票 0.00%

Disdainful Garbage

您所在的用戶組沒有投票權(quán)限
沙發(fā)
發(fā)表于 2025-3-21 21:22:30 | 只看該作者
John Derrick,Eerke A. Boitenmassive burden of supporting a retired baby-boom generation. Hence it is tantamount that tomorrow’s adults be maximally productive and, yet, the typical EU memb978-1-4020-1848-0978-1-4020-2538-9Series ISSN 1387-6570 Series E-ISSN 2215-0099
板凳
發(fā)表于 2025-3-22 04:13:31 | 只看該作者
massive burden of supporting a retired baby-boom generation. Hence it is tantamount that tomorrow’s adults be maximally productive and, yet, the typical EU memb978-1-4020-1848-0978-1-4020-2538-9Series ISSN 1387-6570 Series E-ISSN 2215-0099
地板
發(fā)表于 2025-3-22 05:31:10 | 只看該作者
5#
發(fā)表于 2025-3-22 11:51:23 | 只看該作者
hapters have been extended to also include trace refinement, based directly on partial relations rather than through totalisation.Provides an updated discussion on divergence, non-atomic refinements and approxi978-1-4471-6167-7978-1-4471-5355-9
6#
發(fā)表于 2025-3-22 16:41:35 | 只看該作者
Book 2014Latest editionon is a comprehensive update to the first and includes the following new material:.Early chapters have been extended to also include trace refinement, based directly on partial relations rather than through totalisation.Provides an updated discussion on divergence, non-atomic refinements and approxi
7#
發(fā)表于 2025-3-22 18:03:51 | 只看該作者
8#
發(fā)表于 2025-3-22 22:57:35 | 只看該作者
s, laws and economic arrangements that separate families. The fathers also remind us that whileMexican immigrants support the Mexican economy to the tune of 24 billion dollars a year through remittances, and help fuel the U.S. economy through their underpaid labor, the fathers see themselves as much
9#
發(fā)表于 2025-3-23 04:55:11 | 只看該作者
John Derrick,Eerke A. Boitener of children. No matter what happens in the next decade, we are doomed to have exceedingly small cohorts that, in turn, must shoulder the massive burden of supporting a retired baby-boom generation. Hence it is tantamount that tomorrow’s adults be maximally productive and, yet, the typical EU memb
10#
發(fā)表于 2025-3-23 05:55:57 | 只看該作者
John Derrick,Eerke A. Boitener of children. No matter what happens in the next decade, we are doomed to have exceedingly small cohorts that, in turn, must shoulder the massive burden of supporting a retired baby-boom generation. Hence it is tantamount that tomorrow’s adults be maximally productive and, yet, the typical EU memb
 關(guān)于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務(wù)流程 影響因子官網(wǎng) 吾愛論文網(wǎng) 大講堂 北京大學(xué) Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點(diǎn)評(píng) 投稿經(jīng)驗(yàn)總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機(jī)版|小黑屋| 派博傳思國(guó)際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-29 04:36
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
通城县| 榕江县| 昌都县| 沐川县| 昭觉县| 五台县| 元氏县| 嵊州市| 丽江市| 溧水县| 麦盖提县| 桑植县| 宣武区| 蚌埠市| 长垣县| 巫溪县| 武威市| 青铜峡市| 漳州市| 南乐县| 通河县| 梨树县| 凌源市| 平邑县| 睢宁县| 黄大仙区| 苍溪县| 浠水县| 新安县| 嘉荫县| 称多县| 桑日县| 嘉兴市| 衡山县| 碌曲县| 虞城县| 右玉县| 思茅市| 陆川县| 涿鹿县| 游戏|