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