Benzer Materyaller: Abstract State Machines, Alloy, B, TLA, VDM, and Z :

Konu (Topic): Autómatas Matemáticos - Teoría - Congresos - Tema Principal