Languages
Arbab, Farhad.
Overview
| Works: | 3 works in 3 publications in 1 languages | |
|---|---|---|
Titles
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.
(Language materials, printed)
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)
(Language materials, printed)
, [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)
(Language materials, printed)
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.
(Language materials, printed)
Subjects
Software Engineering.
Mathematical logic.
Formal methods (Computer science)
Software Engineering/Programming and Operating Systems.
Information Systems and Communication Service.
Software engineering.
Theory of Computation.
Computers.
Software engineering
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Component software
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Models and Principles.
Mathematical Logic and Foundations.
Management of Computing and Information Systems.