Use of methods of algebraic programming for the formal verification of legal acts von Peschanenko, V.S., Poltoratskiy, M.

Volltext

Information technology for the development and analysis of models of subject areas for their study von Lyubchenko, V.V.

Volltext