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
S. M. Abramov
Publisher
Direct-Media
Year
2021
Language
Russian
131
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

J. Kleinberg, E. Tardos

Algorithms and Computation Models

Algorithms and Computation Models

Dmitry Golubenko, Alexey Kroshnin, Eduard Gorbunov

What is Mathematics? An Elementary Sketch of Ideas and Methods

What is Mathematics? An Elementary Sketch of Ideas and Methods

R. Courant, H. Robbins

Efficient Algorithms and Computational Complexity

Efficient Algorithms and Computational Complexity

N. N. Kuzyurin, S. A. Fomin

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

A.Yu. Bykov

Algorithm Theory

Algorithm Theory

V.I. Igoshin

Mathematical Decision-Making Methods

Mathematical Decision-Making Methods

A.A. Greshilov

Understanding SQL. SQL for Mere Mortals

Understanding SQL. SQL for Mere Mortals

Martin Graber

Big Data Analysis. Technologies and Methods

Big Data Analysis. Technologies and Methods

Not specified