Semantics, Hoare triples, abstractions.
Project: here
A first year bachelor course on linear algebra.
A first year bachelor course on elementary logic. New edition.
Semantics, Hoare triples, abstractions.
Project: here
A first year bachelor course on linear algebra.
A first year bachelor course on elementary logic. New edition.
Semantics, Hoare triples, abstractions.
Project: here
A first year bachelor course on linear algebra.
A first year bachelor course on elementary logic.