<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2004-04-12 08:34:15Theoretical computer science Logic in computer science Specification language Z notation Computer security Formal specification Specification HOL Functional specification Software development Formal methods Computing |
Add to Reading List |
Methods and Tools for the Verification of Critical Properties Roger Bishop Jones International Computers Limited, Eskdale Road, Winnersh, Berks, England, RG11 5TT. Phone: +[removed], E-mail: [removed]![Zum Beweis des Wiener-Lemmas Die Notation folgt in etwa1 Aufgabe 2.5, es sei also `1 (Z) die Faltungsalgebra der summierbaren Folgen und F die Fouriertransformation F : `1 (Z) 3 (xn ) 7→ f ∈ Cper [0, 1], ∞](https://www.pdfsearch.io/img/2b49b404aec51d419df6d7f045a73685.jpg "Zum Beweis des Wiener-Lemmas Die Notation folgt in etwa1 Aufgabe 2.5, es sei also `1 (Z) die Faltungsalgebra der summierbaren Folgen und F die Fouriertransformation F : `1 (Z) 3 (xn ) 7→ f ∈ Cper [0, 1], ∞")
