Algebraic Specification: Difference between revisions
From Cibernética Americana
Jump to navigationJump to search
No edit summary |
No edit summary |
||
| Line 18: | Line 18: | ||
latter are the focus of this article. | latter are the focus of this article. | ||
==Implementation== | ==Implementation and Issues== | ||
=== Algebraic specification Formalisms === | === Algebraic specification Formalisms === | ||