Titlebook: Formal Methods for Executable Software Models; 14th International S Marco Bernardo,Ferruccio Damiani,Ina Schaefer Textbook 2014 Springer In |
|
|
||
| 关于派博传思 | 派博传思旗下网站 | 友情链接 | ||||||
| 派博传思介绍 | 公司地理位置 | 论文服务流程 | 影响因子官网 | SITEMAP | 大讲堂 | 北京大学 | Oxford Uni. | Harvard Uni. |
| 发展历史沿革 | 期刊点评 | 投稿经验总结 | SCIENCEGARD | IMPACTFACTOR | 派博系数 | 清华大学 | Yale Uni. | Stanford Uni. |
| |Archiver|手机版|小黑屋| 派博传思国际 ( 京公网安备110108008328) GMT+8, 2025-6-30 21:22 | ||||||||
| Copyright © 2001-2015 派博传思 京公网安备110108008328 版权所有 All rights reserved | ||||||||
|
||||||||
|
||||||||
发表于 2025-3-23 09:53:22
