Ergebnisse für: algebraic verification
Hier findest Du Bücher, die sich mit algebraic verification beschäftigen.
Algebraic specification, nondeterminism and term rewriting are three active research areas aiming at concepts for the abstract description of software systems: Algebraic specifications are well-suited for describing data structures and sequential software systems in an abstract way. Term rewriting m...