The foundations of program verification. : Wiley, Chichester, United Kingdom, 1985, 230 pages, £18.50, ISBN 0-519-02101-3.

• Book ID: 103895872
• Publisher: Elsevier Science
• Year: 1986
• Tongue: English
• Weight: 101 KB
• Volume: 28
• Category: Article
• ISSN: 0378-4754
• DOI: 10.1016/0378-4754(86)90097-2

✦ Synopsis

This textbook provides a compact treatment of linear differential and linear difference equations using transform techniques. It is written as a textbook for second year students who are not specialists in mathematics, such as scientists and engineers. The relation between the transform variables and frequency is established and system stability is considered. A chapter on the analysis and filtering of discrete signals is a change from books emphasizing only continuous systems. Examples are chosen from Electrical, Mechanical, Civil, and Control Engineering.