Art
J-GLOBAL ID：200902002031645926   Reference number：90A0091402

Проблемно-ориентированный подход к верификации программ обработки файлов.

ファイル処理プログラムの検証への問題指向的アプローチ
Author (1)：
NEPOMNYASHCHIJ V A

About NEPOMNYASHCHIJ V A


Material：
Programmirovanie

About Programmirovanie


Issue： 5  Page： 5-16  Publication year： Sep. 1989 
JST Material Number： R0384A  ISSN： 0132-3474  Document type： Article
Article type： 原著論文  Country of issue： Russian Federation (RUS)  Language： RUSSIAN (RU)
Thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
file processing

About file processing

,...
   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=90A0091402&from=J-GLOBAL&jstjournalNo=R0384A") }}
JST classification (1)：
JST classification
Category name(code) classified by JST.
Theory of computation 
(JB02000A)

About Theory of computation

Terms in the title (2)：
Terms in the title
Keywords automatically extracted from the title.
ファイル

About ファイル

, 
検証

About 検証


Return to Previous Page

TOP

BOTTOM