Algebraic specifications have been used in the testing of object-oriented programs and received much attention since the 1990s. It is generally believed that class-level testing based on algebraic ...

The class will cook meatloaf. No registration is needed, merely stop by the third floor of the library. For more information, call the library at 406-792-1080.