Scalable Techniques for Formal Verification
Scalable Techniques for Formal Verification
复制标题
用于形式验证的可扩展技术
DOI：
10.1007/978-1-4419-5998-0
复制
发表时间：
2010
影响因子：
2
通讯作者：
S. Ray
中科院分区：
文献类型：
--
作者：
S. Ray
如果你真的想变得更聪明，阅读可以是唤起和实现的许多方法之一。很多喜欢阅读的人会有更多的知识和经历。阅读可以是一种从经济、政治、科学、小说、文学、宗教和许多其他方面获取信息的方式。作为图书分类的一部分，形式化验证的可扩展技术一直是最受欢迎的图书。很多人都在寻找这本书。很多人喜欢读这类书。
If you really want to be smarter, reading can be one of the lots ways to evoke and realize. Many people who like reading will have more knowledge and experiences. Reading can be a way to gain information from economics, politics, science, fiction, literature, religion, and many others. As one of the part of book categories, scalable techniques for formal verification always becomes the most wanted book. Many people are absolutely searching for this book. It means that many love to read this kind of book.