软件搜索-zbMATH Open

辅助电源

swMATH ID:	8969
软件作者：	Letichevsky，A.A。；Kapitonova，J.V。；科诺琴科股份有限公司。
描述：	APS中的计算。代数编程系统（APS）集成了四种主要的计算范式：过程、函数、代数（重写规则）和逻辑。所有这些都可以在不同的实施级别以不同的组合方式使用。提出并讨论了用于开发APS计算技术的形式化模型。这些包括数据结构、代数模块、重写和计算、规范形式、构建策略和数据类型的工具。
主页：	http://dl.acm.org/citation.cfm？id=96896
相关软件：	APS-1型；hiCUDA公司；BSGP公司；G提升；库达；第六部分；CBMC公司；可视化状态；NuSMV公司；爆炸；veriSoft软件；ATERM公司；西洋陆军棋；ACL2型；枣灰蝶属；可视化C++；Visual Basic；AXIOM公司；扬子乙酰氯
引用于：	27文件

7	Yu Kapitonova。五、。
三	V.A.沃尔科夫。
2	J.V.Kapitonova。
2	克里沃伊，S.L。
2	Letychevs'kyĭ，Oleksandr Adol'fovych
2	莫罗霍夫茨，玛丽娜·K·。
1	阿蒙斯，A.A。
1	P.I.安东。
1	S.N.巴拉诺夫。
1	比伦科，V.I。
1	A.V.Chugaenko。
1	A.V.Chugayenko。
1	德吉亚列夫，阿纳托利·伊万诺维奇
1	丹尼森科，P.N。
1	Doroshenko，Anatoliy Yu。
1	德语，V.N。
1	大卫·吉尔伯特
1	戈德列夫斯基，A.B。
1	O.V.戈洛文。
1	Sergij V.Goncharov。
1	M.I.Gorbatsevich。
1	格雷布涅夫，V.A。
1	伊万尼科，P.A。
1	科门科，V.V。
1	科尔钦，A.V。
1	科诺琴科，S.V。
1	科特利亚罗夫，V.P。
1	Letychevs’kyĭ，Oleksandr Oleksandrovych
1	勒沃夫，M.S。
1	马林琴科，V.G。
1	马特维耶娃，L.E。
1	新墨西哥州米什琴科。
1	佩沙连科，V.S。
1	Rudich，A.叶。
1	北卡罗来纳州什乔戈列娃。
1	谢特林，G.E。
1	谢特林，G.E。
1	瓦尔凯维奇，T.A。
1	维尼丘克，I.P。
1	托马斯·威格特。
1	O.A.Yatsenko。
1	尤先科，E.L。
1	A.Yu Zubtsov。

25	控制论与系统分析
1	理论计算机科学