Titlebook: Logics of Specification Languages; Dines Bjørner,Martin C. Henson Book 2008 Springer-Verlag Berlin Heidelberg 2008 ASM (Abstract State Mac

显示全部楼层 · 发表于 2025-3-24 04:32:37

Dines Bjørner,Martin Hensone generally by anyone who likes mathematical ideas. Rather than presenting detailed proofs, the main ideas are described, and a bibliography for those who wish to understand the technical details..978-3-642-07165-2978-3-540-36351-4

显示全部楼层 · 发表于 2025-3-24 07:42:48

https://doi.org/10.1007/978-3-540-74107-7ASM (Abstract State Machines); Bjørner; CASL (Common Algebraic Specification Language); CafeOBJ; Duratio

显示全部楼层 · 发表于 2025-3-24 12:19:33

978-3-642-09345-6Springer-Verlag Berlin Heidelberg 2008

显示全部楼层 · 发表于 2025-3-24 15:39:40

显示全部楼层 · 发表于 2025-3-24 22:34:59

显示全部楼层 · 发表于 2025-3-25 02:19:17

		自动登录	找回密码
密码			To register

关于派博传思			派博传思旗下网站			友情链接
派博传思介绍	公司地理位置	论文服务流程	影响因子官网	吾爱论文网	大讲堂	北京大学	Oxford Uni.	Harvard Uni.
发展历史沿革	期刊点评	投稿经验总结	SCIENCEGARD	IMPACTFACTOR	派博系数	清华大学	Yale Uni.	Stanford Uni.
\|Archiver\|手机版\|小黑屋\| 派博传思国际 ( 京公网安备110108008328) GMT+8, 2025-8-13 10:59
Copyright © 2001-2015 派博传思京公网安备110108008328 版权所有 All rights reserved

Titlebook: Logics of Specification Languages; Dines Bjørner,Martin C. Henson Book 2008 Springer-Verlag Berlin Heidelberg 2008 ASM (Abstract State Mac

浏览过的版块