Formal Methods in Computer Science
Product Details 基本信息 ISBN-13 书号 9781498775328 Author 作者 Jiacun Wang and William Tepfenhart Pages Number 页数 294页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 20190702 Product Dimensions 商品尺寸 0 x 0 x 0 cm Book Description 内容简介 This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It has three parts: The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and regular expressions. The second part focuses on logic, a powerful formal language in specifying systems properties. It is composed of four chapters: propositional logic, predicate logic, temporal logic, and model checking. The third part presents the most popular formal language in system behavior modeling, Petri nets. It has three chapters: Petri nets, timed Petri nets and high-lev
¥585.00
【预订】Formal Methods in Computer Science 9780367225704 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367225704 Author 作者 Jiacun Wang and William Tepfenhart Format 版本 精装 Pages Number 页数 294页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 2019-06-25 Language 语种 英语 Book Contents 内容简介 This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.
¥2261
预订Formal Methods in Computer Science [ISBN:9780367225704] 【全球购】进口原版图书，一般5-8周左右到国内
¥1887
海外直订Formal Methods in Computer Science 计算机科学中的形式化方法
¥1921
海外直订Formal Methods in Computer Science 计算机科学中的形式化方法
¥896.00
按需印刷Formal Methods in Computer Science 预订，预计下单后3-4周左右发货！
¥1764
预订 Formal Methods in Computer Science [ISBN:9781498775328] 【全球购】进口原版图书，一般5-8周左右到国内
¥881.00
预订 Formal Methods in Computer Science 预订，预计下单后3-4周左右发货！
¥1049
预订Formal Methods in Human-Computer Interaction 预订，预计下单后2-3周左右发货！
¥661.00
按需印刷Formal Methods for Computer/Communications Protocols and 预订，预计下单后3-4周左右发货！
¥1154
