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