語系
Arbab, Farhad.
概要
作品: | 3 作品在 3 項出版品 1 種語言 |
---|
書目資訊
Fundamentals of software engineering = 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011 : revised selected papers /
by:
Sirjani, Marjan.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Arbab, Farhad.
(書目-語言資料,印刷品)
Formal Aspects of Component Software = 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019, Proceedings /
by:
Jongmans, Sung-Shik.; Arbab, Farhad.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Fundamentals of software engineering = 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013 : revised selected papers /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Sirjani, Marjan.; Arbab, Farhad.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Formal aspects of component software = 8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Olveczky, Peter Csaba.; Arbab, Farhad.
(書目-語言資料,印刷品)
主題
Software Engineering.
Mathematical logic.
Formal methods (Computer science)
Software Engineering/Programming and Operating Systems.
Software engineering.
Theory of Computation.
Computer Science.
Programming Techniques.
Component software
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Mathematical Logic and Foundations.
Management of Computing and Information Systems.
Information Systems and Communication Service.
Computers.
Software engineering
Programming Languages, Compilers, Interpreters.
Models and Principles.