Computer Aided Verification: 16th Inteational Conference,

2015-05-31 分类：工程

by: Rajeev Alur, Doron A. Peled

Print length: 536

Publication date: 2004-08-17

ISBN-10: 3540223428

ISBN-13: 9783540223429

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

1111

 打赏