Rigorous State-Based Methods المزيد من كتب Alexander Raschke, Dominique Méry & Frank Houdek

Logic, Computation and Rigorous Methods Logic, Computation and Rigorous Methods
Logic, Computation and Rigorous 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
٢٠١٨