Lecture - 6 Formal Specification
Why it's on BrighterTube
Hand-picked by a BrighterTube curator · found via round-3 back catalogue of a channel Lumen picks video by video · 82% confidenceExplains formal specification techniques for software systems. Lecture on mathematical and logical methods for precise system definition.
What you'll learn
A 52-minute video from nptelhrd: “Lecture - 6 Formal Specification”.
Video by nptelhrd, played through YouTube's embedded player.