[FT-11][ltchen] A Tale of Two Monads
Monads
Costless Software Abstractions For Parallel Hardware System
Predicate Calculus Formal Methods in Verification of Computer Systems Jeremy Johnson.
For Monday Read chapter 8 Homework: –Chapter 7, exercises 1, 8, and 9 May be done in pairs.
(Meta)model s a nd t ransformation s ! thinking aids for the engineer - a case study
NumPy References The Numpy Example List Tables of contents ordered.
Mathematics in the internet
For Monday