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

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr眉cken, Germany, March 26鈥揂pril 3, 2011. Proceedings

0
索取号：
作者：Abdulla、 Parosh Aziz.、Leino、 K. Rustan M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Verification of Object-Oriented Software. The KeY Approach [electronic resource] : Foreword by K. Rustan M. Leino

0
索取号：
作者：Beckert、 Bernhard.、H盲hnle、 Reiner.、Schmitt、 Peter H.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.