Ima journal of management mathematics. 1986;1(4):277-291. doi: 10.1093/imaman/1.4.277 Q14.32025

A Type Calculus for Executable Modelling Languages

可执行建模语言的类型演算

BRADLEY, GORDON H.; CLEMENCE, ROBERT D.

DOI: 10.1093/imaman/1.4.277

期刊名：Ima journal of management mathematics

缩写：IMA J MANAG MATH

ISSN：1471-678X

e-ISSN：1471-6798

IF/分区：4.3/Q1

全文链接

官方链接

PMC全文

引文链接

复制

已复制！

格式：