Alloyの本を読んでもちっとも頭に入っていきません。
この本を読むうえで必要な前提知識って何でしょうか？
また、その知識を得るのに最適な書籍があれば教えてください。

今は組込み関係の仕事（主に車関係）をしていて、知ってる言語はC言語のみです。