You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
None
This book constitutes the refereed proceedings of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, in May 2016. The 17 full and 15 short papers presented in this volume were carefully reviewed and selected from 61 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z.
None
Ein Land in Ohnmacht: Tugendterror gegen Wutbürgertum und keiner, der die Ursachen anpackt! Ein kluges Buch mit Fakten, Hintergründen und Schicksalen der aktuellen Flüchtlingskrise. Das UNO-Flüchtlingshilfswerk UNHCR geht davon aus, dass im Jahr 2015 mehr als 60 Millionen Menschen weltweit auf der Flucht sind. Sie fliehen vor Krieg, Fanatismus und Armut. Viele Vertriebene hoffen, der Hölle auf Erden entkommen zu können, indem sie sich auf den Weg nach Europa machen. Wer die gefahrvolle Odyssee ins vermeintliche Paradies Deutschland unbeschadet übersteht, erlebt eine böse Überraschung. Während die einen den erschöpften Ankömmlingen begeistert applaudieren, werden sie von anderen b...