正则表达式Cookbook

本书提供了超过100条锦囊妙计,帮助您利用正则表达式处理数据、操纵文本。每位程序员都能找到正则表达式的...

2009.11

形式语义学基础与形式说明

本书较详细地给出了形式语义学的基础理论框架,但它并不是一本纯理论的教材,而是一本理论与软件实践相结合...

2010.