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

Cavalcanti, Ana.

概要
作品: 1 作品在 3 項出版品 1 種語言
書目資訊
Refinement Techniques in Software EngineeringFirst Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures / by: (1998 :); Cavalcanti, Ana.; Sampaio, Augusto.; SpringerLink (Online service); Woodcock, Jim. (書目-電子資源)
Theoretical Aspects of Computing - ICTAC 2006Third International Colloquium, Tunis, Tunisia, November 20-24, 2006Proceedings / by: (1998 :); Barkaoui, Kamel.; Cavalcanti, Ana.; Cerone, Antonio.; SpringerLink (Online service) (書目-電子資源)
FM 2009formal methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings / by: (1998 :); Cavalcanti, Ana.; Dams, Dennis.; SpringerLink (Online service) (書目-電子資源)
Software engineering for robotics by: Cavalcanti, Ana.; Dongol, Brijesh.; Hierons, Rob.; SpringerLink (Online service); Timmis, Jon.; Woodcock, Jim. (書目-電子資源)
 
 
變更密碼
登入