Software-Verifikation: Verfahren für den Zuverlässigkeitsnachweis von Software von
Gelungene Einführung in schwierige mathematische Themen • • • • • (bewertet mit 5 von 5 Punkten)
Alle meine Rezensionen ansehen Rezension bezieht sich auf: Software-Verifikation: Verfahren für den Zuverlässigkeitsnachweis von Software (Taschenbuch) Ich hatte das Buch in erster Linie wegen der Probabilistischen Themen gekauft. Das Buch behandelt auch komplexe mathematische Themen auf sehr einfache Art. Dabei profitiert das Buch von der Trennung in einen Hauptteil und weitere matematische Erklärungen im Anhang.
Im Gegensatz zu vielen amerikanischen Wälzern werden die einzelnen Themen kompakt behandelt, manchmal vielleicht zu kompakt. Die einzelnen Hauptkapitel können auch unabhängig von einander gelesen werden. Damit verliert man nicht die Lust am Lesen.
Eine Rezension von Ein Kunde
vom 28. Mai 2007
Kundenrezensionen:
2.
Gelungene Einführung in schwierige mathematische Themen (die aktuell angezeigte Rezension)