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

Tarlecki, Andrzej.

概要
作品: 0 作品在 1 項出版品 1 種語言
書目資訊
Foundations of algebraic specification and formal software development by: Sannella, Donald.; SpringerLink (Online service); Tarlecki, Andrzej. (書目-電子資源)
Computer science logic18th international workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings / by: European Association for Computer Science Logic. (2004 :); Marcinkowski, Jerzy, (1965-); SpringerLink (Online service); Tarlecki, Andrzej. (書目-電子資源)
FM 2005: Formal MethodsInternational Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings / by: (1998 :); Fitzgerald, John.; Hayes, Ian J.; SpringerLink (Online service); Tarlecki, Andrzej. (書目-電子資源)
Algebra and coalgebra in computer sciencethird international conference, CALCO 2009, Udine, Italy, September 7-10, 2009 : proceedings / by: (1998 :); Kurz, Alexander.; Lenisa, Marina.; SpringerLink (Online service); Tarlecki, Andrzej. (書目-電子資源)
 
 
變更密碼
登入