University of Pittsburgh-Pittsburgh Campus
Class confirmed
CS1502
2026-2027 Undergraduate and Graduate Catalogs · 1 section
You found CS 1502.
FORMAL METHODS IN COMPUTER SCIENCE
Harbor turns your CS 1502 notes into a readiness map so you can see what looks solid, shaky, or missing.
Built from this class—not a generic study guide.
Free to open · No card