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. Matiyasevich
a
,
A. N. Terekhov
b
,
B. A. Fedotov
c
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
Fulltext:
PDF file (1504 kB)
English version:
Automation and Remote Control, 1990,
51
:5,
710–716
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2024