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