大拱桥--暨南大学学生门户 » 图书馆 » 形式语言理论(分类号：TP301.2)(共20本)

分类依据：形式语义理论入此.

形式语义学基础与形式说明

0
索取号：TP301.2/20101.2
作者：屈延文、
出版社：北京 : 科学出版社, 2010

Semantic computing

0
索取号：TP301.2/E20101
作者：
出版社：Hoboken, N.J. : John Wiley & Sons ; Piscataway, NJ : IEEE, 2010.

Theory of formal languages with applications

0
索取号：TP301.2/E20011
作者：Simovici、 Dan A.、Tenney、 Richard L.、
出版社：Singapore ; New Jersey : World Scientific, 1999.

ZUM '95, the Z formal specification notation : 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings

0
索取号：TP301.2-532/E991/9
作者：International Conference of Z Users (9th : 1995 : Limerick、 Limerick、 Ireland)、Bowen、 J. P. (Jonathan Peter)、 1956-、Hinchey、 Michael G. (Michael Gerard)、 1969-、
出版社：Berlin ; New York : Springer, c1995.