找回密碼
 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
快速回復 返回頂部 返回列表
丰县| 南宁市| 洪泽县| 连州市| 瓦房店市| 沧州市| 新乐市| 陇西县| 恩平市| 罗江县| 沙坪坝区| 贺州市| 安乡县| 华阴市| 自治县| 察隅县| 青铜峡市| 当雄县| 靖安县| 阜南县| 湘乡市| 资源县| 清流县| 武胜县| 阜康市| 黄山市| 伊通| 同德县| 新河县| 太保市| 华阴市| 咸宁市| 偃师市| 合川市| 突泉县| 永和县| 丹凤县| 麻栗坡县| 元谋县| 灵宝市| 滕州市|