Yazar
Thai Son Hoang
4 cilt bulundu.
Cilt sonuçları
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl · Springer
436 sayfa · 2016
Programming languages (electronic computers) / Logic, symbolic and mathematical