Download now Free registration required
As engineers proud of the reputations and the subject the authors want aeroplanes to fly and banks to be trustworthy. As engineers they want real systems to function in the way they have specified them and for there to be no unpleasant surprises. But with increasing complexity they, like members of all other engineering disciplines, are forced to fall back on mathematics to help one achieve this. Mathematics offers one the ability to unambiguously communicate requirements and offers one proof as a basis for a formal notion of correctness.
- Format: PDF
- Size: 135.91 KB