Introduction to the field of concurrent computing with a focus on methods and tools of designing and implementing correct and safe concurrent programs.