H
Hanno Foest
Guest
Am 19.12.22 um 21:07 schrieb Sieghard Schicktanz:
Formal verifizierte Software existiert.
Hanno
--
The modern conservative is engaged in one of man\'s oldest exercises in
moral philosophy; that is, the search for a superior moral justification
for selfishness.
- John Kenneth Galbraith
Software enthält Fehler. Was anderes gibt es nicht. (Inzwischen stimmt
das sogar für Trivialprogramme wie das sog. \"Hello World\"...)
Formal verifizierte Software existiert.
Hanno
--
The modern conservative is engaged in one of man\'s oldest exercises in
moral philosophy; that is, the search for a superior moral justification
for selfishness.
- John Kenneth Galbraith