Overview: For some years, specification of software and hardwaresystems has been influenced not only by algebraic methodsbut also by new developments inlogic. These newdevelopments in logic are partly based on the useofalgorithmic techniques in deduction and proving methods, butare alsodue to new theoretical advances, to a great extentstimulated by computer science, which have led to new typesof logic and new logical calculi. Thenew techniques,methods and tools from logic, combined with algebra-basedones, offer very powerful and useful tools for thecomputerscientist, which may soon become prac
|