HUTH_讯易软件-源码之巅峰

源码之巅峰

当前位置：> TAG标签 > HUTH

LOGIC IN COMPUTER SCIENCE Modelling and Reason 1

编程语言：其他大小：金币：上传人：32332 发布日期：2023-11-11

英文原版Preface to the second editionOur motivation for (re)writing this bookOne of the leitmotifs of writing the first edition of our book was the observationthat most logics used in the design, specification and verification ofcomputer

1条

热门下载

LOGIC IN COMPUTER SCIENCE Modelling and Reason