Languages
Borger, Egon.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Modeling companion for software practitioners
by:
Borger, Egon.; SpringerLink (Online service); Raschke, Alexander.
(Electronic resources)
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 :)
(Language materials, printed)
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 :)
(Language materials, printed)
Subjects
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