This is the table of contents of the Algebraic Specification of Hardware and Software module. The first part contains the Introduction to Maude course; the second (when written) will contain the Microprocessor Verification course. In addition, if you have a linux (or FreeBSD) machine you may wish to download Maude, which is mirrored locally on the System Specification pages. Maude is also available for a range of other systems from the Maude site.