TNF公司/基础设施
FMV(飞行管理车辆)
团队 接触 软件 出版物 教学 工作
[ 接触 |地址 ]
我是约翰内斯·开普勒大学计算机科学专业的学生林茨大学。目前我正在写我的学士论文我设计了适合逻辑教学的逻辑游戏。
simone.atzwanger@jku.at.at https://fmv.jku.at/atzwanger网站
形式模型与验证研究所约翰开普勒大学阿尔滕贝格斯特。694040林茨奥地利