On Methods in the Verification and Elaboration of Development Programs for Agricultural Territories
Nowadays, the methods of program-targeted management for the development of various socio-economic systems of complex structure, such as agricultural areas, have become universal. Therefore, the current tasks at hand are the verification of already created development programs and the development of...
Saved in:
| Main Authors: | Jorge Vega Vice, Valery Mikhailov |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Yaroslavl State University
2018-10-01
|
| Series: | Моделирование и анализ информационных систем |
| Subjects: | |
| Online Access: | https://www.mais-journal.ru/jour/article/view/744 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
APPLICATION OF PROGRAM-TARGET APPROACH TO MANAGING THE EDUCATION OF YOUNG RUSSIAN GENERATION
by: R. Gavva
Published: (2018-07-01) -
Stakeholder Identified Community Garden Program Outcomes
by: Susan Webb, et al.
Published: (2018-01-01) -
Stakeholder Identified Community Garden Program Outcomes
by: Susan Webb, et al.
Published: (2018-01-01) -
Automation of Formal Verification of Programs in the Pifagor Language
by: M. S. Ushakova, et al.
Published: (2015-08-01) -
The Automation of C Program Verification by Symbolic Method of Loop Invariants Elimination
by: Dmitry Kondratyev, et al.
Published: (2018-10-01)