Art
J-GLOBAL ID：201602019168173679   Reference number：70A0262191

An axiomatic basis for computer programming.

計算機プログラミングの公理的基礎
  • Publisher site Copy service
  • Access JDreamⅢ for advanced search and analysis.
Author (1)：
HOARE C A R

About HOARE C A R


Material：
Commun ACM (Assoc Comput Mach)  (Communications of the ACM (Association for Computing Machinery))

About Commun ACM (Assoc Comput Mach)


Volume： 12  Issue： 10  Page： 576-580,583  Publication year： 1969 
JST Material Number： B0330B  ISSN： 0001-0782  CODEN： CACMA   Document type： Article
Article type： 原著論文  Country of issue： United States (USA)  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.
プログラム理論

About プログラム理論


Terms in the title (3)：
Terms in the title
Keywords automatically extracted from the title.
計算機プログラミング

About 計算機プログラミング

, 
公理

About 公理

, 
基礎

About 基礎


Return to Previous Page

TOP

BOTTOM