Verification, Model Checking, and Abstract Interpretation von Markus Müller-Olm (2008, Taschenbuch) online kaufen | eBay
Max Mustermann und Lieschen Müller: Humoristische Reimgeschichten für Jung und Alt : Biela, Karin, Bauer, Franziska, Denner, Elisabeth: Amazon.de: Bücher