查看最新文献
订阅
分享
277发文信息
历年影响因子
历年发表
投稿信息
同类期刊
Anais do III Tricho Health Congress - III TRICHO
Anais do(a) Anais do SITEM - Simpósio Internacional de Tecnologias em Educação Matemática
Design and Construction of Phosphorus Removal Structures for Improving Water Quality
Proceedings of the 2nd international workshop on Evidential assessment of software technologies - EAST '12
F-IDE - 最新文献
Formal Reasoning Using an Iterative Approach with an Integrated Web IDE
Pub Date : 2015-08-17 DOI: 10.4204/EPTCS.187.5 Nabil M. Kabbani, Daniel Welch, Caleb Priester, S. Schaub, B. Durkee, Yu-Shan Sun, M. SitaramanTowards Enabling Overture as a Platform for Formal Notation IDEs
Pub Date : 2015-08-17 DOI: 10.4204/EPTCS.187.2 L. Couto, P. Larsen, Miran Hasanagic, Georgios Kanakis, Kenneth Lausdahl, P. Tran-JørgensenBuilding an IDE for the Calculational Derivation of Imperative Programs
Pub Date : 2015-08-17 DOI: 10.4204/EPTCS.187.1 Dipak Chaudhari, O. Damani
免责声明：
本页显示期刊或杂志信息，仅供参考学习，不是任何期刊杂志官网，不涉及出版事务，特此申明。如需出版一切事务需要用户自己向出版商联系核实。若本页展示内容有任何问题，请联系我们，邮箱：info@booksci.cn，我们会认真核实处理。
本页显示期刊或杂志信息，仅供参考学习，不是任何期刊杂志官网，不涉及出版事务，特此申明。如需出版一切事务需要用户自己向出版商联系核实。若本页展示内容有任何问题，请联系我们，邮箱：info@booksci.cn，我们会认真核实处理。
京公网安备 11010802042870号
