Modeling and Verification of Real-time Systems girro 2015年5月10日 9 阅读 0 评论 计算机、互联网 Modeling and Verification of Real-time Systems by: Navet, Nicolas; Merz, Stephan Paperback: 395 pages Publisher: Wiley-ISTE( January 01, 2008 ) ISBN-10: 1848210132 代发服务PDF电子书10元立即求助