|
Sep 27, 2024
|
|
|
|
CAS *754 / Programming Methodology3 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)
|
|