找回密碼
 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

[復(fù)制鏈接]
查看: 8789|回復(fù): 35
樓主
發(fā)表于 2025-3-21 17:15:46 | 只看該作者 |倒序?yàn)g覽 |閱讀模式
書目名稱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
關(guān)鍵詞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影響因子(影響力)學(xué)科排名




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




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




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




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




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




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




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




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




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

0票 0%

Perfect with Aesthetics
 

0票 0%

Better Implies Difficulty
 

0票 0%

Good and Satisfactory
 

0票 0%

Adverse Performance
 

0票 0%

Disdainful Garbage
您所在的用戶組沒有投票權(quán)限
沙發(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 | 只看該作者
 關(guān)于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務(wù)流程 影響因子官網(wǎng) 吾愛論文網(wǎng) 大講堂 北京大學(xué) Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點(diǎn)評 投稿經(jīng)驗(yàn)總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機(jī)版|小黑屋| 派博傳思國際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-6 10:34
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
西和县| 罗江县| 玛曲县| 凤山县| 衡东县| 崇阳县| 前郭尔| 神池县| 贵阳市| 皮山县| 呼伦贝尔市| 浙江省| 临武县| 茌平县| 孝昌县| 慈利县| 建瓯市| 汨罗市| 连南| 新密市| 斗六市| 古蔺县| 神木县| 博罗县| 东宁县| 隆尧县| 平武县| 甘肃省| 白沙| 宝坻区| 牙克石市| 东阿县| 德保县| 宜宾市| 襄汾县| 周宁县| 绥中县| 德兴市| 梁河县| 屏山县| 江门市|