Formal Methods: State of the Art and New Directions girro 2014年1月25日 7 阅读 0 评论 计算机、互联网 Formal Methods: State of the Art and New Directions Hardcover: 273 pages Publisher: Springer (December 22, 2009) Language: English ISBN-10: 1848827350 代发服务PDF电子书10元立即求助