找回密碼
 To register

QQ登錄

只需一步,快速開始

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

打印 上一主題 下一主題

Titlebook: Java and the Java Virtual Machine; Definition, Verifica Robert F. St?rk,Joachim Schmid,Egon B?rger Textbook 2001 Springer-Verlag Berlin Hei

[復(fù)制鏈接]
查看: 13024|回復(fù): 56
樓主
發(fā)表于 2025-3-21 17:47:34 | 只看該作者 |倒序瀏覽 |閱讀模式
書目名稱Java and the Java Virtual Machine
副標(biāo)題Definition, Verifica
編輯Robert F. St?rk,Joachim Schmid,Egon B?rger
視頻videohttp://file.papertrans.cn/501/500712/500712.mp4
概述The first book to provide a rigorous mathematical analysis of Java.Includes supplementary material:
圖書封面Titlebook: Java and the Java Virtual Machine; Definition, Verifica Robert F. St?rk,Joachim Schmid,Egon B?rger Textbook 2001 Springer-Verlag Berlin Hei
描述The origin of this book goes back to the Dagstuhl seminar on Logic for System Engineering, organized during the first week of March 1997 by S. Jiihnichen, J. Loeckx, and M. Wirsing. During that seminar, after Egon Borger‘s talk on How to Use Abstract State Machines in Software Engineering, Wolfram Schulte, at the time a research assistant at the University of Ulm, Germany, questioned whether ASMs provide anything special as a scientifically well- founded and rigorous yet simple and industrially viable framework for high- level design and analysis of complex systems, and for natural refinements of models to executable code. Wolfram Schulte argued, referring to his work with K. Achatz on A Formal Object-Oriented Method Inspired by Fusion and Object-Z [1], that with current techniques of functional programming and of axiomatic specification, one can achieve the same result. An intensive and long debate arose from this discussion. At the end of the week, it led Egon Borger to propose a collaboration on a real-life specification project of Wolfram Schulte‘s choice, as a comparative field test of purely functional- declarative methods and of their enhancement within an integrated abstrac
出版日期Textbook 2001
關(guān)鍵詞C programming language; Constraint; Java; Java Card; Java Virtual Machine; Natural; programming; programmin
版次1
doihttps://doi.org/10.1007/978-3-642-59495-3
isbn_softcover978-3-642-63997-5
isbn_ebook978-3-642-59495-3
copyrightSpringer-Verlag Berlin Heidelberg 2001
The information of publication is updating

書目名稱Java and the Java Virtual Machine影響因子(影響力)




書目名稱Java and the Java Virtual Machine影響因子(影響力)學(xué)科排名




書目名稱Java and the Java Virtual Machine網(wǎng)絡(luò)公開度




書目名稱Java and the Java Virtual Machine網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Java and the Java Virtual Machine被引頻次




書目名稱Java and the Java Virtual Machine被引頻次學(xué)科排名




書目名稱Java and the Java Virtual Machine年度引用




書目名稱Java and the Java Virtual Machine年度引用學(xué)科排名




書目名稱Java and the Java Virtual Machine讀者反饋




書目名稱Java and the Java Virtual Machine讀者反饋學(xué)科排名




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

0票 0.00%

Perfect with Aesthetics

 

0票 0.00%

Better Implies Difficulty

 

1票 100.00%

Good and Satisfactory

 

0票 0.00%

Adverse Performance

 

0票 0.00%

Disdainful Garbage

您所在的用戶組沒有投票權(quán)限
沙發(fā)
發(fā)表于 2025-3-21 21:12:54 | 只看該作者
板凳
發(fā)表于 2025-3-22 01:15:56 | 只看該作者
地板
發(fā)表于 2025-3-22 07:05:00 | 只看該作者
paigns in 1994 and thereafter tended to be upbeat and positive; on the whole, at least with respect to most of its officially sanctioned appeals, the ANC refrained from direct attacks on its rivals, concentrating instead on the issues that would be of most concern to its core constituency. In genera
5#
發(fā)表于 2025-3-22 12:16:33 | 只看該作者
6#
發(fā)表于 2025-3-22 16:46:00 | 只看該作者
Robert F. St?rk,Joachim Schmid,Egon B?rgerg (PSP) issues and basic principles. As most of PSP problems aremodeled as optimization problems, optimization techniques are covered in some details in Chapter 2. Moreover, PSP decision makings are based on both technical and economic considerations, so economic principles are briefly reviewed in C
7#
發(fā)表于 2025-3-22 19:30:27 | 只看該作者
8#
發(fā)表于 2025-3-22 21:42:25 | 只看該作者
Robert F. St?rk,Joachim Schmid,Egon B?rgeritional GEP may also be used in the de-regulated environment; now, from other entities viewpoints. If GEP is decided by some entities based on their own judgements, how can a different or some different entities proceed towards the other steps (SEP, NEP and RPP) if they cannot make sure what the GEP
9#
發(fā)表于 2025-3-23 04:02:42 | 只看該作者
Robert F. St?rk,Joachim Schmid,Egon B?rgerances that prevent the corrosion of a particular metal are defined in terms of their chemical constitution. Thus the species that promotes inhibition may be generated .,as opposed to being added to the environment from an external source, and moreover some of those substances which may be regarded a
10#
發(fā)表于 2025-3-23 06:59:59 | 只看該作者
Robert F. St?rk,Joachim Schmid,Egon B?rgerce of degradation of materials involves a vast area of science and technology, the economic importance of which rivals that of any other clearly defined area affecting the standard of life. The basis of the corrosion process is the electrochemical charge-transfer reaction, and the center of the subject of the978-1-4757-4827-7978-1-4757-4825-3
 關(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-6 00:05
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
克什克腾旗| 万源市| 衡南县| 房山区| 大庆市| 界首市| 乌什县| 新余市| 理塘县| 通道| 盐边县| 清苑县| 章丘市| 株洲市| 台江县| 马龙县| 涟源市| 肇源县| 溧水县| 广丰县| 洪湖市| 竹溪县| 沭阳县| 平乡县| 格尔木市| 永登县| 陆丰市| 横峰县| 手游| 都兰县| 彝良县| 彰化县| 特克斯县| 乌什县| 靖安县| 沐川县| 油尖旺区| 民县| 长白| 建宁县| 昭通市|