Using Event-B for Critical Device Software Systems

2015-05-20 分类：计算机、互联网

Hardcover: 334 pages

Publisher: Springer (January 1, 2013)

Language: English

ISBN-10: 144715259X

代发服务PDF电子书10元立即求助

1111

 打赏