標(biāo)題: Titlebook: VDM ‘91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijker; Volume 2: Tutorials S?ren Prehn,Hans [打印本頁] 作者: gingerly 時間: 2025-3-21 19:17
書目名稱VDM ‘91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijker影響因子(影響力)
書目名稱VDM ‘91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijker影響因子(影響力)學(xué)科排名
書目名稱VDM ‘91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijker網(wǎng)絡(luò)公開度
書目名稱VDM ‘91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijker網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱VDM ‘91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijker被引頻次
書目名稱VDM ‘91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijker被引頻次學(xué)科排名
書目名稱VDM ‘91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijker年度引用
書目名稱VDM ‘91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijker年度引用學(xué)科排名
書目名稱VDM ‘91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijker讀者反饋
書目名稱VDM ‘91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijker讀者反饋學(xué)科排名
作者: Congestion 時間: 2025-3-21 22:41
The B-method,ware systems. Therefore, the features of incremental construction and proof have been guiding principles in its development. A full account of the .-method and its theoretical foundations is to appear shortly as a book by J.-R. Abrial. An environment, the . Toolkit, supports formal development activ作者: 割公牛膨脹 時間: 2025-3-22 01:44
Conference proceedings 1991NCS 252), 1988(LNCS 328), and 1990 (LNCS 428).The VDM symposia have been organized by the VDM Europe,formed in 1985 as an advisory board sponsored by theCommission of the European Communities. The VDMEuropeworking group consisted of reasearchers, software engineers,and programmers, all interested in作者: Inertia 時間: 2025-3-22 06:05 作者: 侵略 時間: 2025-3-22 09:30 作者: 乳白光 時間: 2025-3-22 16:39 作者: Debark 時間: 2025-3-22 18:46 作者: elastic 時間: 2025-3-22 22:28 作者: 善辯 時間: 2025-3-23 03:29 作者: 他一致 時間: 2025-3-23 06:46 作者: engrossed 時間: 2025-3-23 11:14
Chris Georgeborative effort between IBM, Intermetrics, and Texas Instruments; sponsored by the Very High Speed Integrated Cir- cuits (VHSIC) program office of the Department of Defense, beginning in 1981. Today it is an IEEE standard (1076-1987), and several simulators and other automated support tools for it a作者: 心神不寧 時間: 2025-3-23 14:25
Ole-Johan Dahl,Olaf Owelarge part of our history, in the breeding of plants and livestock. Artificial evolution, where we evolve an artifact through artificial selection, has been around since electronic computers became common: about 30 years. Right from the beginning, people have suggested using artificial evolution to 作者: 說笑 時間: 2025-3-23 21:57 作者: GRE 時間: 2025-3-24 00:41 作者: HOWL 時間: 2025-3-24 06:23 作者: CERE 時間: 2025-3-24 08:17
978-3-540-54868-3Springer-Verlag Berlin Heidelberg 1991作者: Generalize 時間: 2025-3-24 11:23
VDM ‘91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijker978-3-540-46456-3Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 吹牛大王 時間: 2025-3-24 17:11
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/v/image/980040.jpg作者: packet 時間: 2025-3-24 19:48
https://doi.org/10.1007/BFb0019994Bedeutung von Programmen; Formale Methoden; Programm Verification; Programm Verifikation; Reasoning Abou作者: Ptosis 時間: 2025-3-25 01:23
Conference proceedings 1991, experiences from doingdevelopments, and the associated theoretical problems.Volume2 contains four introductory tutorials (on LARCH,Refinement Calculus, VDM, and RAISE) and four advancedtutorials (on ABEL, PROSPECTRA, THE B Method,and TheStack). They present a comprehensive account of the state oft作者: harrow 時間: 2025-3-25 04:53 作者: 圖表證明 時間: 2025-3-25 09:46 作者: Colonnade 時間: 2025-3-25 13:27 作者: Eclampsia 時間: 2025-3-25 17:20 作者: Myelin 時間: 2025-3-25 22:43
Chris Georgeuage flavor, resulting both from the orientation of hardware languages of that time, and from a ma- jor requirement that VHDL use Ada constructs wherever appropriate. During the 1980‘s there has been an increasing current of research into high level specification languages for systems, particularly 作者: 施魔法 時間: 2025-3-26 01:27 作者: 敏捷 時間: 2025-3-26 06:23 作者: Lyme-disease 時間: 2025-3-26 11:52
Donald I. Good,William D. Youngdeadline in spite of transient faults. The dynamic scheme also results in a lower average execution time with a lower variance as compared to the usual duplex roll-back schemes..The dynamic scheme avoids a roll-back in most cases if the transient faults are independent. However, for correlated fault作者: NOCT 時間: 2025-3-26 12:53
J. -R. Abrial,M. K. O. Lee,D. S. Neilson,P. N. Scharbach,I. H. S?rensen作者: multiply 時間: 2025-3-26 18:55
A tutorial on Larch and LCL, a Larch/C interface language,作者: 憤憤不平 時間: 2025-3-27 00:21
Tutorial lecture notes on the Irish School of the ,,作者: Lime石灰 時間: 2025-3-27 04:03
Mathematical methods for digital systems development,作者: 運動吧 時間: 2025-3-27 06:08 作者: 使激動 時間: 2025-3-27 11:11 作者: Generosity 時間: 2025-3-27 17:16 作者: 固執(zhí)點好 時間: 2025-3-27 20:18
,Accelerating Program Analyses in?Datalog by Merging Library Facts,ge of Datalog analyses. We have evaluated our approach on a points-to analysis and a liveness analysis, on the DaCapo benchmark suite. Our evaluation results suggest that our technique achieves a significant speedup and negligible precision loss, reaching a good balance.作者: obnoxious 時間: 2025-3-27 22:12 作者: 召集 時間: 2025-3-28 02:50
SpringerBriefs in Public Healthhttp://image.papertrans.cn/n/image/662436.jpg作者: ACTIN 時間: 2025-3-28 07:14 作者: 發(fā)微光 時間: 2025-3-28 14:17
Book 2023lektrodynamik. Dabei sind die Maxwell-Gleichungen ein nicht mehr wegzudenkender, wichtiger Teil zur Beschreibung des Zusammenhangs zwischen elektrischen und magnetischen Feldern. Doch was ist, wenn wir weiter gehen, wenn wir den klassischen Pfad verlassen und uns der quantenmechanischen Theorie zuwe
