Logic, Computation and Rigorous Methods المزيد من كتب Alexander Raschke, Elvinia Riccobene & Klaus-Dieter Schewe

Rigorous State-Based Methods Rigorous State-Based Methods
Rigorous State-Based Methods
٢٠٢٠
Abstract State Machines, Alloy, B, TLA, VDM, and Z Abstract State Machines, Alloy, B, TLA, VDM, and Z
Abstract State Machines, Alloy, B, TLA, VDM, and Z
٢٠١٨