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

Foundations of Algebraic Specification and Formal Software Development [electronic resource]

0
索取号：
作者：Sannella、 Donald.、Tarlecki、 Andrzej.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Trustworthy Global Computing [electronic resource] : Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers

0
索取号：
作者：Montanari、 Ugo.、Sannella、 Donald.、Bruni、 Roberto.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.