Ergebnisse für: program specification
Hier findest Du Bücher, die sich mit program specification beschäftigen.
The development of information processing systems requires models, calculi, and theories for the analysis of computations. It is well understood by now that more complex software systems cannot and should not be constructed in one step. A careful, systematic, and disciplined structuring of the devel...
The development of information processing systems requires models, calculi, and theories for the analysis of computations. It is well understood by now that more complex software systems cannot and should not be constructed in one step. A careful, systematic, and disciplined structuring of the devel...
Not very long ago, the uninhibited use of mathematics in the
development of software was regarded as something for
academics alone. Today, there is moreand more interest
from industry in formal methods based on mathematics. This
interest has come from the success of a number of
experiments on ...