Farhad Arbab

Identifiers

Open LibraryOL7561406A

Top Subjects

Programming Languages, Compilers, Interpreters (1)
Logics and Meanings of Programs (1)
Computer science (1)
Programming Techniques (1)
Mathematical Logic and Formal Languages (1)
Logic design (1)
Management of Computing and Information Systems (1)

Books by Farhad Arbab

Total count: 4

Coordination Models and Languages5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings

Springer London, Limited2003-01-01
International Symposium on Fundamentals of Software EngineeringInternational Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings

Springer London, Limited2007-01-01
Fundamentals of Software EngineeringThird IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers

Springer London, Limited2010-01-01
Formal Aspects of Component Software8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

Springer Berlin Heidelberg2012-01-01