语系
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.