Logic in Computer Science: Modelling and Reasoning about Systems 豆 9.1分

资源最后更新于 2020-07-25 14:11:01

作者：Michael Huth

出版社：Cambridge University Press

出版日期：2004-01

ISBN：9780521543101

文件格式： pdf

标签： 数理逻辑 计算机科学 计算机 数学 Logic 逻辑 Programming ※AngewandteMathe

简介· · · · · ·

Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is increasing demand for training in basic methods in formal reasoning so that students can gain proficiency in logic-based verification methods. The second edition of this successful...