大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Mili 的图书(共3本)

Agile Business Rule Development [electronic resource] : Process, Architecture, and JRules Examples

0
索取号：
作者：Boyer、 J茅r么me.、Mili、 Hafedh.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

Towards structured specifying : theory, practice, applications

0
索取号：TP311.5/E903
作者：Mili、 Ali.、Boudriga、 Noureddine.、Mili、 Fatma.、
出版社：Chichester, West Sussex, England : E. Horwood ; New York : Halsted Press, 1989.

An introduction to formal program verification

0
索取号：TP31/E90176
作者：Mili、 Ali.、
出版社：New York : Van Nostrand Reinhold Co., 1985.