Metacomputation methods and their applications
A

Metacomputation methods and their applications

Algorithms
metacomputation program transformation TSG language program analysis verification inverse programming software reliability
Author
С. М. Абрамов
Publisher
Директ-Медиа
Year
2021
Language
Russian
42
Rate this book

To read the book, log in / register

Preview fragment

Similar books

Algorithms: Design and Applications. Computer Science Classics

Algorithms: Design and Applications. Computer Science Classics

Дж. Клейнберг, Е. Тардос

Algorithms and Computation Models

Algorithms and Computation Models

Дмитрий Голубенко, Алексей Крошнин, Эдуард Горбунов

What is Mathematics? An Elementary Sketch of Ideas and Methods

What is Mathematics? An Elementary Sketch of Ideas and Methods

Р. Курант, Г. Роббинс

Efficient Algorithms and Computational Complexity

Efficient Algorithms and Computational Complexity

Н. Н. Кузюрин, С. А. Фомин

Solving Problems in C and C++ Programming Languages: Methodological Guidelines for Laboratory Work

Solving Problems in C and C++ Programming Languages: Methodological Guidelines for Laboratory Work

А.Ю. Быков

Algorithm Theory

Algorithm Theory

В.И. Игошин

Mathematical Decision-Making Methods

Mathematical Decision-Making Methods

А.А. Грешилов

Understanding SQL. SQL for Mere Mortals

Understanding SQL. SQL for Mere Mortals

Мартин Грабер

Big Data Analysis. Technologies and Methods

Big Data Analysis. Technologies and Methods

Не указан