Normal view
MARC view
Kowalewski, Stefan Editor (Personal Name)
Machine generated authority record.
Work cat.: (OSt)289586: Kowalewski, Stefan, Tools and algorithms for the construction and analysis of systems (e-book), 2009