語系
跳至 : 概要 | 書目資訊 | 主題

Sankaranarayanan, Sriram.

概要
作品: 1 作品在 3 項出版品 1 種語言
書目資訊
Formal Modeling and Analysis of Timed Systems = 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015 : proceedings / by: Sankaranarayanan, Sriram.; Vicario, Enrico.; SpringerLink (Online service) (書目-電子資源)
Mathematical analysis of programs. by: Sankaranarayanan, Sriram.; Stanford University. (書目-電子資源)
 
 
變更密碼
登入