Synthesis of Embedded Software: Frameworks and girro 2014年1月26日 15 阅读 0 评论 未分类 Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction Hardcover: 300 pages Publisher: Springer (September 17, 2010) Language: English ISBN-10: 1441963995 代发服务PDF电子书10元立即求助