Filter
Matematisk databehandlingsteori
Filter
This volume presents an approach to the formal object-oriented specification of information systems. The approach focuses on the early phases of system development where existing …