| |
Oct 30, 2026
|
|
|
|
|
CAS 754 / Programming Methodology 3 unit(s)
E. Sekerinski
Verification and Refinement Methods for Sequential and Concurrent Programs, Specification Techniques, Reliability, Object-Orientation (Modeling, Design, Patterns, Concurrency), Program Design and Program Documentation, Tools and Compilers.
Add to Favourites (opens a new window)
|
|