Synthesis of Embedded Software: Frameworks and

2014-01-26 分类：未分类

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元立即求助

1111

 打赏