Model-Checking Based Data Retrieval: An Application to Semis

girro 16 阅读 0 评论
工程

Model-Checking Based Data Retrieval: An Application to Semis

by: Elisa Quintarelli

Print length: 134

Publication date: 2004-03-19

ISBN-10: 3540209719

ISBN-13: 9783540209713

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