語系
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 /
by:
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 /
by:
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.