View
212
Download
0
Category
Preview:
DESCRIPTION
Usual FM Courses Propositional Calculus, Predicate Calculus, Set theory, λ-Calculus, Higher-order Calculi, Universal Algebra Type theories, Process algebras, Temporal logics Z, B, VDM, RSL, ASM
Recommended