Theoretical Aspects of Computer Software Naoki Kobayashi (u. a.) Taschenbuch