Prerequisites:None
ICT Infrastructure Management
This module focuses on tools for Big Data processing. The focus is on the 3 V- characteristics of Big Data namely volume, velocity and variety.
Model Checking is a technique for automatically verifying whether a software program satisfies correctness requirements such as mutual exclusion, …
Computer Science in Perspective
