RUS  ENG
Full version
JOURNALS // Avtomatika i Telemekhanika // Archive

Avtomat. i Telemekh., 1990 Issue 5, Pages 168–175 (Mi at5379)

Computer-Aided Design and Programming

Standardization of microcomputer software using virtual-machine design

Yu. V. Matiyasevicha, A. N. Terekhovb, B. A. Fedotovc

a Leningrad Department of V. A. Steklov Institute of Mathematics, USSR Academy of Sciences
b St. Petersburg State University, Research Institute of Mathematics and Mechanics
c CLRI "Red Dawn", St.Petersburg

UDC: 681.3-181.4:681.3.06


Received: 05.11.1988


 English version:
Automation and Remote Control, 1990, 51:5, 710–716

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024