返回首页 联系帮助
LIFE WITH TWO LANGUAGES
下载此书RAR压缩包在线购买PDF电子书
1982 年出版370 页ISBN：0674530926
Tree Automata and Languages
1992 年出版485 页ISBN：0444890262
Pidgin and Creole Languages
1988 年出版373 页ISBN：0582296471
Logic Programming Languages Constraints
Functions1993 年出版207 页ISBN：
Why do languages change?
Trask2010 年出版198 页ISBN：9780521838023;0521838029
language acquisition in study abroad and formal instruction contexts
2222 年出版0 页ISBN：
formal verification an essential toolkit for modern vlsi design
TEACHING AND LEARNING LANGUAGES
EARL W.STEVICK2222 年出版215 页ISBN：
FORMAL VLSI CORRECTNESS VERIFICATION VLSI Design Methods-II
1990 年出版427 页ISBN：0444886885
Real-Time Systems Formal Specification and Automatic Verification
2008 年出版320 页ISBN：9780521883337
