Languages
Arbab, Farhad.
Overview
| Works: | 7 works in 3 publications in 1 languages | |
|---|---|---|
Titles
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)
(Electronic resources)
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)
(Electronic resources)
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)
(Electronic resources)
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)
(Electronic resources)
Coordination models and languages5th international conference, COORDINATION 2002, York, UK, April 8-11, 2002 : proceedings /
by:
(1998 :); Arbab, Farhad.; SpringerLink (Online service); Talcott, Carolyn.
(Electronic resources)
Subjects
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)