言語
Arbab, Farhad.
概観
| 著作: | 1 作品に 2 出版物中に 1 言語 | |
|---|---|---|
タイトル
Formal aspects of component software[electronic resource] :8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers /
…で:
Arbab, Farhad.; Clark Conference ((2005 :); Olveczky, Peter Csaba.; SpringerLink (Online service)
(言語・文字資料 (印刷物))
Fundamentals of software engineering[electronic resource] :4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011 : revised selected papers /
…で:
Arbab, Farhad.; Clark Conference ((2005 :); Sirjani, Marjan.; SpringerLink (Online service)
(言語・文字資料 (印刷物))
主題
Software engineering
Mathematical Logic and Formal Languages.
Software Engineering.
Software Engineering/Programming and Operating Systems.
Logics and Meanings of Programs.
Component software
Programming Techniques.
Management of Computing and Information Systems.
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Models and Principles.
Computer Science.