Paul Webster等著;吴君之,王云峰译1994 年出版650 页ISBN:7507708845
BEST-SELLING CHAPTERS INTRODUCTORY LEVEL CHAPTERS FROM 8 BOOKS FOR YOUNG PEOPLE WITH LESSONS FOR TEA
1998 年出版301 页ISBN:0890618453
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
(德)Michael Huth,(英)Mark Ryan著;何伟,樊磊译2007 年出版277 页ISBN:7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题,反映了计算机科学中数理...
EASY MONEY THE GREATEST PONZI SCHEME EVER AND HOW IT IS SET TO DESTROY THE GLOBAL FINANCIAL SYSTEM
VIVEK KAUL2015 年出版361 页ISBN:9788132113447
modeling and analysis of real-time and embedded systems with uml and marte developing cyber-physi
bran selic2014 年出版287 页ISBN:0124166199