본문

  1. Home
6 Results:SS:FORMAL 0.46 sec.
RSS 
다국어입력
 상세검색
 신착검색
선택출력 선택엑셀내보내기
1
Formal Verification of Statecharts Using Finite-State Model Checkers
Formal Verification of Statecharts Using Finite-State Model Checkers
Q-Zhao., | Institute of Electrical and Electronics Engineers | 2006 ,
2
Formal Grammar : Theory and Implementation
Formal Grammar : Theory and Implementation
Levine, Robert, 745-L665f | Oxford University | 1992 745-L665f,
3
Larch : Languages and Tools for Formal Specification
Larch : Languages and Tools for Formal Specification
Guttag, John C, 005.13-G985l | Spring-Verlag | 1993 005.13-G985l,
4
The Burdens of Formality : Essays on the Poetry of Anthony Hecht
The Burdens of Formality : Essays on the Poetry of Anthony Hecht
Lea, Sydney, 841.09-L434b | The University of Georgia | 1989 841.09-L434b,
5
Introduction to automata theory, languages, and computation : John E. Hopcroft , Jeffrey D. Ullman.
Introduction to automata theory, languages, and computation : John E. Hopcroft , Jeffrey D. Ullman.
Hopcroft, John E., 559.9-H791i | Addison-Wesley | 1979 559.9-H791i,
6
Logic and language models for computer science
Logic and language models for computer science
Hamburger, Henry, 005.13-H199L | Prentice Hall | 2002 005.13-H199L,
처음1마지막