Art
J-GLOBAL ID：200902002095020423   Reference number：92A0627503

Refinement methods and refinement calculi.

精密化手法および精密化計算
Author (2)：
LITTECK H J

About LITTECK H J

(Univ. Bath, Bath)

About Univ. Bath, Bath

, 
WALLIS P J L

About WALLIS P J L

(Univ. Bath, Bath)

About Univ. Bath, Bath


Material：
Software Engineering Journal  (Softw Eng J)

About Software Engineering Journal


Volume： 7  Issue： 3  Page： 219-229  Publication year： May. 1992 
JST Material Number： A0955D  ISSN： 0268-6961  Document type： Article
Article type： 原著論文  Country of issue： United Kingdom (GBR)  Language： ENGLISH (EN)
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.
computer system development

About computer system development

,...
   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=92A0627503&from=J-GLOBAL&jstjournalNo=A0955D") }}
JST classification (2)：
JST classification
Category name(code) classified by JST.
Computer system development 
(JD02010R)

About Computer system development

,  Theory of computation 
(JB02000A)

About Theory of computation

Terms in the title (3)：
Terms in the title
Keywords automatically extracted from the title.
精密化

About 精密化

, 
手法

About 手法

, 
計算

About 計算


Return to Previous Page

TOP

BOTTOM