Course Description

Raw: Formal specification techniques, design techniques, abstraction, information hiding, modulari

Stemmed: formal specif techniqu design techniqu abstract inform hide modular softwar test autom test tool mai

Inferred Topics

No prerequisites registered.