Synthesis of Embedded Software: Frameworks and

未分类

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