語系
Arbab, Farhad.
概要
作品: | 1 作品在 3 項出版品 1 種語言 |
---|
書目資訊
Formal aspects of component software = 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019 : proceedings /
by:
FACS (Symposium) (2019 :); Arbab, Farhad.; Jongmans, Sung-Shik.; SpringerLink (Online service)
(書目-電子資源)
Fundamentals of software engineering = 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011 : revised selected papers /
by:
Arbab, Farhad.; Sirjani, Marjan.; SpringerLink (Online service)
(書目-電子資源)
Fundamentals of software engineering = third IPM international conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009 : revised selected papers /
by:
Arbab, Farhad.; Sirjani, Marjan.; SpringerLink (Online service); International Symposium on Fundamentals of Software Engineering (2009 :)
(書目-語言資料,印刷品)
Formal aspects of component software = 8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers /
by:
Arbab, Farhad.; Olveczky, Peter Csaba.; SpringerLink (Online service)
(書目-電子資源)
Coordination models and languages = 5th international conference, COORDINATION 2002, York, UK, April 8-11, 2002 : proceedings /
by:
Arbab, Farhad.; Talcott, Carolyn.; SpringerLink (Online service); COORDINATION 2002 ((2002 :)
(書目-語言資料,印刷品)
主題
Software engineering
Mathematical Logic and Formal Languages.
Software Engineering.
Theory of Computation.
Mathematical Logic and Foundations.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Component software
Information Systems and Communication Service.
Software engineering- Congresses.
Programming Techniques.
Parallel processing (Electronic computers)- Congresses.
Management of Computing and Information Systems.
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Models and Principles.
Electronic data processing- Distributed processing
Computer Science.