語系
Borger, Egon.
概要
作品: | 1 作品在 1 項出版品 1 種語言 |
---|
書目資訊
Abstract State Machines, B and Z = First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Borger, Egon.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Modeling companion for software practitioners
by:
SpringerLink (Online service); Raschke, Alexander.; Borger, Egon.
(書目-語言資料,印刷品)
Advances in software engineering = Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007 : revised tutorial lectures /
by:
SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Borger, Egon.; Cisternino, Antonio.
(書目-語言資料,印刷品)
主題
Software Engineering.
Software Engineering/Programming and Operating Systems.
Computer Science.
Programming Techniques.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Business Process Management.
Software engineering
Machine theory
Programming Languages, Compilers, Interpreters.
Database Management.
Computer software