找回密碼
 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ù)制鏈接]
查看: 21731|回復(fù): 56
樓主
發(fā)表于 2025-3-21 18:18:16 | 只看該作者 |倒序瀏覽 |閱讀模式
書目名稱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ā)展歷史沿革 期刊點評 投稿經(jīng)驗總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機版|小黑屋| 派博傳思國際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-29 14:50
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
南陵县| 石嘴山市| 南充市| 吴旗县| 都兰县| 体育| 舟曲县| 广德县| 汶川县| 吉木萨尔县| 哈巴河县| 政和县| 金坛市| 西乌珠穆沁旗| 额济纳旗| 尼勒克县| 扶绥县| 云南省| 新余市| 民权县| 濉溪县| 嘉峪关市| 思茅市| 宜章县| 新沂市| 周宁县| 张家口市| 东兰县| 奈曼旗| 固安县| 西昌市| 崇明县| 错那县| 东港市| 虞城县| 福泉市| 凤山县| 肃南| 长治县| 朝阳区| 柳林县|