語系
Arbab, Farhad.
概要
作品: | 7 作品在 3 項出版品 1 種語言 |
---|
書目資訊
Formal aspects of component software16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019 : proceedings /
by:
(1998 :); Arbab, Farhad.; Jongmans, Sung-Shik.; SpringerLink (Online service)
(書目-電子資源)
Formal aspects of component software8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers /
by:
(1998 :); Arbab, Farhad.; Olveczky, Peter Csaba.; SpringerLink (Online service)
(書目-電子資源)
Fundamentals of software engineeringthird IPM international conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009 : revised selected papers /
by:
(1998 :); Arbab, Farhad.; Sirjani, Marjan.; SpringerLink (Online service)
(書目-電子資源)
Fundamentals of software engineering4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011 : revised selected papers /
by:
(1998 :); Arbab, Farhad.; Sirjani, Marjan.; SpringerLink (Online service)
(書目-電子資源)
Coordination models and languages5th international conference, COORDINATION 2002, York, UK, April 8-11, 2002 : proceedings /
by:
(1998 :); Arbab, Farhad.; SpringerLink (Online service); Talcott, Carolyn.
(書目-電子資源)
主題
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.
Electronic data processing
Component software
Information Systems and Communication Service.
Programming Techniques.
Management of Computing and Information Systems.
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Models and Principles.
Computer Science.
Parallel processing (Electronic computers)