找回密碼
 To register

QQ登錄

只需一步，快速開始

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

打印 上一主題 下一主題

Titlebook: Verification of Sequential and Concurrent Programs; Krzysztof R. Apt,Frank S. Boer,Ernst-Rüdiger Older Textbook 2009Latest edition Springe

[復制鏈接]
查看: 8793|回復: 35
樓主
發(fā)表于 2025-3-21 17:15:46 | 只看該作者 |倒序瀏覽 |閱讀模式
書目名稱Verification of Sequential and Concurrent Programs
編輯Krzysztof R. Apt,Frank S. Boer,Ernst-Rüdiger Older
視頻videohttp://file.papertrans.cn/982/981711/981711.mp4
概述Deals with the verification of programs allowing dynamic process creation.Includes four new chapters on increasingly important aspects of programming.Contains many learning tools to aid the reader suc
叢書名稱Texts in Computer Science
圖書封面Titlebook: Verification of Sequential and Concurrent Programs; Krzysztof R. Apt,Frank S. Boer,Ernst-Rüdiger Older Textbook 2009Latest edition Springe
描述HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs. The approach is not language-bounded in the sense that it covers a large variety of programming models and features that appear in most modern programming languages. It covers the classes of - quential and parallel, deterministic and non-deterministic, distributed and object-oriented programs. For each of the classes it presents the various c- teria of correctness that are relevant for these classes, such as interference freedom, deadlock freedom, and appropriate notions of liveness for parallel programs. Also, special proof rules appropriate for each class of programs are presented. In spite of this diversity due to the rich program classes cons- ered, there exist a uniform underlying theory of veri?cation which is synt- oriented and promotes compositional approaches to veri?cation, leading to scalability of the methods. The text strikes the proper balance between mathematical rigor and - dactic introduction of increasingly complex rules in an incremental manner, adequately supported by state-of-the-art examples. As a result it can serve a
出版日期Textbook 2009Latest edition
關鍵詞Variable; complexity; program verification; algorithm analysis and problem complexity
版次3
doihttps://doi.org/10.1007/978-1-84882-745-5
isbn_softcover978-1-4471-2513-6
isbn_ebook978-1-84882-745-5Series ISSN 1868-0941 Series E-ISSN 1868-095X
issn_series 1868-0941
copyrightSpringer-Verlag London Limited 2009
The information of publication is updating

書目名稱Verification of Sequential and Concurrent Programs影響因子(影響力)




書目名稱Verification of Sequential and Concurrent Programs影響因子(影響力)學科排名




書目名稱Verification of Sequential and Concurrent Programs網(wǎng)絡公開度




書目名稱Verification of Sequential and Concurrent Programs網(wǎng)絡公開度學科排名




書目名稱Verification of Sequential and Concurrent Programs被引頻次




書目名稱Verification of Sequential and Concurrent Programs被引頻次學科排名




書目名稱Verification of Sequential and Concurrent Programs年度引用




書目名稱Verification of Sequential and Concurrent Programs年度引用學科排名




書目名稱Verification of Sequential and Concurrent Programs讀者反饋




書目名稱Verification of Sequential and Concurrent Programs讀者反饋學科排名




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

0票 0%

Perfect with Aesthetics
 

0票 0%

Better Implies Difficulty
 

0票 0%

Good and Satisfactory
 

0票 0%

Adverse Performance
 

0票 0%

Disdainful Garbage
您所在的用戶組沒有投票權限
沙發(fā)
發(fā)表于 2025-3-21 20:20:47 | 只看該作者
1868-0941 ikes the proper balance between mathematical rigor and - dactic introduction of increasingly complex rules in an incremental manner, adequately supported by state-of-the-art examples. As a result it can serve a978-1-4471-2513-6978-1-84882-745-5Series ISSN 1868-0941 Series E-ISSN 1868-095X
板凳
發(fā)表于 2025-3-22 03:30:29 | 只看該作者
地板
發(fā)表于 2025-3-22 05:46:22 | 只看該作者
nese der arteriellen Hypertonie bekannt ist. Bei der essentiellen Hypertonie, die mit einem Anteil von 80–90% immer noch die h?ufigste Hochdruckform darstellt, gestehen wir uns schon mit der Bezeichnung ein, da? wir nichts oder nicht viel über ihre eigentliche Genese wissen.
5#
發(fā)表于 2025-3-22 10:45:54 | 只看該作者
n müssen, das sich mit den besonderen Lebens- und Umweltverh?ltnissen der Organismen befa?t. Bei den sog. Symbionten und Parasiten besteht aber die Eigentümlichkeit ihrer Lebensbedingungen darin, da? sie in einer besonderen Beziehung zu anderen Lebewesen stehen, mit denen sie fakultativ oder obligat
6#
發(fā)表于 2025-3-22 15:59:48 | 只看該作者
7#
發(fā)表于 2025-3-22 17:24:54 | 只看該作者
8#
發(fā)表于 2025-3-22 23:26:46 | 只看該作者
xt efforts to gain control of Belfast were almost contemporary with the coming of the Reformed religion to Ireland, and the reign of Elizabeth witnessed the subjugation of the Gaelic chiefs and the granting of the castle and harbour of Belfast to a succession of royal retainers, including Essex. The
9#
發(fā)表于 2025-3-23 02:58:51 | 只看該作者
10#
發(fā)表于 2025-3-23 07:54:02 | 只看該作者
 關于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務流程 影響因子官網(wǎng) 吾愛論文網(wǎng) 大講堂 北京大學 Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點評 投稿經(jīng)驗總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學 Yale Uni. Stanford Uni.
QQ|Archiver|手機版|小黑屋| 派博傳思國際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-7 02:44
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權所有 All rights reserved
快速回復 返回頂部 返回列表
罗城| 武城县| 鄱阳县| 都匀市| 互助| 新余市| 西贡区| 河西区| 岳阳市| 修水县| 淮滨县| 诸暨市| 庆云县| 广灵县| 都兰县| 陇南市| 都江堰市| 延长县| 革吉县| 西安市| 宁波市| 香河县| 宜良县| 德安县| 鹤庆县| 通许县| 凤阳县| 肃北| 洛宁县| 龙州县| 新沂市| 石阡县| 鹰潭市| 栖霞市| 呈贡县| 陕西省| 卫辉市| 曲麻莱县| 大城县| 繁昌县| 项城市|