Ushbu ishga iqtibos qilgan ishlar

2 ta ish

Ish: Deductive tools of an algebraic programming system

1. Universal Linear Data Structure

   Rustam Kabulov Vosilovich

   MaqolaFormal Methods in Verification2020 International Conference on Information Science and Communications Technologies (ICISCT)20200 iqtibos

   ABIABI:AkademIndex/openalex/2020.article.002010

2. Formalization of Data Derivative Structures

   Rustam Vosilovich kabulov, Ortik Ruzibaev, Kuchkorov Temur Ataxanovich +1

   MaqolaAdvanced Software Engineering Methodologies2020 International Conference on Information Science and Communications Technologies (ICISCT)20200 iqtibos

   ABIABI:AkademIndex/openalex/2020.article.004480