Bücher von Andreas Ulrich

Die Torstraße verbindet die Friedrichstraße im Westen mit der Prenzlauer Allee im Osten. Wie in kaum einer anderen Straße ist hier noch die brüchige Geschichte Berlins greifbar. Am Beispiel des Hauses Nr. 94 geht Andreas Ulrich den Spuren der Vergangenheit nach: Ob Agentin oder Konditor, ob Bankräuber oder Näherin, ob Super-Model oder Parteisekretär - das Haus und seine Bewohner haben viel erlebt: Dramatisches und Komisches, Absurdes und Unglaubliches.

Ein Mafia-Killer bricht sein Schweigen: Authentische Einblicke in die unbarmherzige Welt des organisierten Verbrechens. Mit einem neuen Vorwort endlich wieder als Taschenbuch lieferbar Wer gegen die Omertà, das Schweigegelübde, verstößt, ist so gut wie tot. Doch Giorgio Basile, der Mann, den sie »Engelsgesicht« nannten, lebt. Rund dreißig Menschen soll der Sohn italienischer Gastarbeiter, der im Ruhrgebiet aufwuchs, auf dem Gewissen haben. Als deutsche Fahnder ihn 1998 fassen, redet er. In schonungsloser Offenheit schildert Giorgio Basile sein Leben und seine Taten. Mit seiner Beichte und als Kronzeuge in aufsehenerregenden Mafia-Prozessen hat er viele alte Freunde vor Gericht gebracht. Heute lebt der ehemalige Profikiller unter einer neuen Identität in Italien. In seinem packenden Buch bietet Andreas Ulrich einen einzigartigen Einblick in die Welt des organisierten Verbrechens vor unserer Haustür. Endlich wieder lieferbar: der SPIEGEL-Bestseller mit einem neuen Vorwort Schonungslose Abrechnung mit dem Mythos Mafia, spannend wie ein Thriller! Die wahre Geschichte des berühmt-berüchtigten Mafiakillers aus dem Ruhrpott. Für alle Fans von Mafiaserien wie »Die Sopranos« und »Suburra«. >Der Pate

Formal methods provide system designers with the possibility to analyze system models and reason about them with mathematical precision and rigor. The use of formal methods is not restricted to the early development phases of a system, though. The di?erent testing phases can also bene?t from them to ease the p- duction and application of e?ective and e?cient tests. Many still regard formal methods and testing as an odd combination. Formal methods traditionally aim at verifying and proving correctness (a typical academic activity), while testing shows only the presence of errors (this is what practitioners do). Nonetheless, there is an increasing interest in the use of formal methods in software testing. It is expected that formal approaches are about to make a major impact on eme- ing testing technologies and practices. Testing proves to be a good starting point for introducing formal methods in the software development process. This volume contains the papers presented at the 3rd Workshop on Formal Approaches to Testing of Software, FATES 2003, that was in a?liation with the IEEE/ACM Conference on Automated Software Engineering (ASE 2003). This year, FATES received 43 submissions. Each submission was reviewed by at least three independent reviewers from the program committee with the help of - ditional reviewers. Based on their evaluations, 18 papers submitted by authors from 13 di?erent countries were selected for presentation at the workshop.