- ホーム
- > 洋書
- > 英文書
- > Computer / General
Full Description
What prevents algebraic specifications from breaking through is the absence of introductory descriptions and tools supporting the construction of algebraic specifications. whereas on the other hand the existence of introductions and tools will stimulate industry to use algebraic specifications.