Course Description

Raw: Principles of analysis and design of information systems. Principles of program design and verificat

Stemmed: principl analysi design inform system principl program design verif formal object formal specif

Inferred Topics

Prerequisite Tree