书籍
3 个精选知识合集。
Agen
28 章节
Agentic Design Patterns：构建智能系统的实践指南
作者 Antonio Gulli
全面介绍 Agentic 设计模式，从基础的 Prompt Chaining、Routing 到高级的 Multi-Agent Collaboration、Reasoning Techniques，涵盖 21 个核心设计模式及实践代码示例。
程序分析原理
5 章节
程序分析原理
作者 Flemming Nielson, Hanne R. Nielson, Chris Hankin
系统介绍程序分析的理论基础与实践方法，适合研究生和研究人员阅读。
模型检验
4 章节
模型检验
作者 Edmund M. Clarke, Orna Grumberg, Doron A. Peled
全面介绍模型检验的理论与实践，是学习形式化验证的经典教材。