Lecture Notes in Computer Science 4054 Formal Methods and Stochastic Models for Performance Evaluati
EPEW 20062006 年出版238 页ISBN：3540353623
Lecture Notes in Computer Science 2931 Formal Approaches to Software Testing Third International Wor
FATES 20032004 年出版267 页ISBN：3540208941
Lecture Notes in Computer Science 3188 Formal Methods for Components and Objects Second Internationa
FMCO 2003 Leiden2222 年出版0 页ISBN：
MODALITY AND STRUCTURE IN SIGNED AND SPOKEN LANGUAGES
RICHARD P.MEIER KEARSY CORMIER DAVID QUINTO POZOS2002 年出版480 页ISBN：
PSYCHOLINGUISTIC APPROACHES TO MEANING AND UNDERSTANDING ACROSS LANGUAGES
BARBARA HEMFORTH，BARBARA MERTINS，CATHRINE FABRICIUS-HANSEN2014 年出版251 页ISBN：9783319056746
ADVANCES IN LANGUAGES AND COMPILERS FOR PARALLEL PROCESSING
ALEXANDRU NICOLAU DAVID GELERNTER THOMAS GROSS DAVID PADUA2222 年出版467 页ISBN：0262640287
Lecture Notes in Computer Science 4184 Web Services and Formal Methods Third International Workshop
WS-FM 20062006 年出版289 页ISBN：3540388621
硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
（美）William K. Lam著；王维维译2007 年出版359 页ISBN：7111195027
本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。
