>
>
"Approaches to verification and te…

Andrey Karpov
Articles: 673

"Approaches to verification and testing of 64-applications" was printed in magazine "Informatsionnie tehnologii" 7/2008

The article by OOO "Program Verification Systems" workers devoted to the peculiarities of developing 64-bit applications was published in magazine "Informatsionnie tehnologii" ("Information Technologies") #7' 2008.

"Novie tehnologii" ("New Technologie") publishing house has been releasing since 1995 the monthly scientific, technical and scientific-production magazine "Informatsioniie tehnologii" ("Information Technologies") with an appendix.

The editorial board consists of well-known scientists and experts of Russian leading academic organizations, higher education institutes, firms, trade institutes and enterprises.

The magazine covers the modern state and mainstream development tendencies in the spheres of development, production and use of information technologies. Original and review articles concerning the problems of developing and using information technologies are published as well as reference materials and information about scientific-technical and training activities carried out within the framework of this problem range.