"The Correctness-by-Construction Approach to Programming" von Bruce W. Watson behandelt eine systematische Methode zur Softwareentwicklung, die darauf abzielt, korrekte Programme von Anfang an zu erstellen. Anstatt Fehler durch Testen...

Dieses Buch geht weit über die allgemeinen militärischen Aktivitäten während des Golfkrieges hinaus. Verglichen mit anderen Kriegen war der Golfkrieg sehr kurz und brachte für die Sieger nur geringe eigene Verluste an Menschenleben. Die...