元计算方法及其应用
A

元计算方法及其应用

算法
metacomputation program transformation TSG language program analysis verification inverse programming software reliability
作者
S. M. Abramov
出版社
Direkt-Media
年份
2021
语言
俄语
145
评价本书

阅读本书 登录 / 注册

预览片段

相似书籍

算法：设计与应用。计算机科学经典

算法：设计与应用。计算机科学经典

Dzh. Kleynberg, E. Tardos

算法与计算模型

算法与计算模型

德米特里·戈卢边科、阿列克谢·克罗什宁、爱德华·戈尔布诺夫

什么是数学？基本思想与方法概述

什么是数学？基本思想与方法概述

R. Kurant, G. Robbins

高效算法与计算复杂性

高效算法与计算复杂性

N. N. Kuzyurin, S. A. Fomin

C和C++编程语言问题解决：实验任务执行指南

C和C++编程语言问题解决：实验任务执行指南

A.Yu. Bykov

算法理论

算法理论

V.I. Igoshin

数学决策方法

数学决策方法

A.A. 格列希洛夫

理解SQL。SQL入门指南

理解SQL。SQL入门指南

马丁·格拉伯

大数据分析。技术与方法

大数据分析。技术与方法

未指定