Books by David Harel

Delve into the captivating works of David Harel, a master of formal methods and modelling. Ideal for computer science enthusiasts and those seeking a deeper understanding of system engineering.