 

当前位置：Wow! eBook  工程  Verification of Infinite-State Systems with Applications to

Verification of Infinite-State Systems with Applications to

2015-05-30 分类：工程

by: M. Minea , F.L. Ã??iplea E. Clarke

Publisher: IOS

Print length: 244

Publication date: 2006-01-01

ISBN-10: 1586035703

ISBN-13: 9781586035709

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

1111

 打赏