FORMAL MODELS AND PRACTICAL TOOLS FOR INFORMATION SYSTEMS DESIGN
1979 年出版297 页ISBN：0444853944
Real Time Programming Languages
Specification and Verification2010 年出版245 页ISBN：9810225667
Endangered Languages:An Introduction
SARAH G.THOMASON2015 年出版229 页ISBN：9780521684538
FORMAL VLSI SPECIFICATION AND SYNTHESIS VLSI Design Methods-I
1990 年出版413 页ISBN：044488372x
WEB PROGRAMMING LANGUAGES SOURCEBOOK
MARTY BOWER MARK ROBINSON1997 年出版608 页ISBN：
Concept Lattices Second International Conference on Formal Concept Analysis
ICFCA 20042004 年出版411 页ISBN：3540210431
ARGUMENTS，STORIES AND CRIMINAL EVIDENCE A FORMAL HYBRID THEORY
FLORIS J.BEX2011 年出版292 页ISBN：
Grammars for Programming Languages
J.Craig Cleaveland Robert C.Uzgalis2222 年出版154 页ISBN：
MODALITY IN GERMANIC LANGUAGES
TORIL SWAN AND OLAF JANSEN WESTVIK1997 年出版164 页ISBN：
