Bjorner, Dines
Software engineering 1 : abstraction and modelling.
- Berlin: Springer-Verlag, 2006
- xxxix, 711 p.; ill.: 24 cm.
- Texts in theoretical computer science .
3540211497 (hbk)
Computer programming
Software engineering
Software Architecture
Proof theory
Model theory
Mathematical logic
005.1 / BJO