透過抽象手段掌握複雜性。
第一部分:有限關係結構。
建模是一種處理複雜問題的基本技術,尤其是在軟體工程和業務或系統分析中。本書從邏輯和離散數學的嚴謹基礎出發,探討了建模在典型軟體和業務工程問題中的相關貢獻。
介紹
基本有限關係建模
推動複雜性