語系
Arbab, Farhad.
概要
作品: | 6 作品在 3 項出版品 1 種語言 |
---|
書目資訊
Fundamentals of software engineering = 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011 : revised selected papers /
by:
SpringerLink (Online service); Congress on Progress and Controversies in Oncological Urology (2000:); Sirjani, Marjan.; Arbab, Farhad.
(書目-電子資源)
Formal aspects of component software = 8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers /
by:
SpringerLink (Online service); Olveczky, Peter Csaba.; Congress on Progress and Controversies in Oncological Urology (2000:); Arbab, Farhad.
(書目-電子資源)
Fundamentals of software engineering = third IPM international conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009 : revised selected papers /
by:
Arbab, Farhad.; SpringerLink (Online service); Sirjani, Marjan.; Congress on Progress and Controversies in Oncological Urology (2000:)
(書目-電子資源)
主題
Management of Computing and Information Systems.
Software Engineering.
Formal methods (Computer science)
Software Engineering/Programming and Operating Systems.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Component software
Models and Principles.
Software engineering
Programming Techniques.
Computer Science.