Klaus Reichl

ספרים שבהם Klaus Reichl מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Abstract State Machines, Alloy, B, TLA, VDM, and ZMichael Butler

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Michael Butler · 2016