Add Wish List Add to Cart The item has been added Nondeterminism in Algebraic Specifications and Algebraic Programs Algebraic specification, nondeterminism and term rewriting are three active research areas aiming at concepts for the abstract description of software systems: Algebraic specifications are... RRP: $122.00 Add to Cart The item has been added