%D8%A3%D8%B3%D8%A7%D9%84%D9%8A%D8%A8_%D8%B1%D8%B3%D9%85%D9%8A%D8%A9Formale_MethodeFormal_methodsM%C3%A9todo_formal%D8%B1%D9%88%D8%B4%E2%80%8C%D9%87%D8%A7%DB%8C_%D8%B5%D9%88%D8%B1%DB%8CM%C3%A9thode_formelle_(informatique)Metode_formal%E5%BD%A2%E5%BC%8F%E6%89%8B%E6%B3%95%EC%A0%95%ED%98%95_%EA%B8%B0%EB%B2%95Formal%C5%ABs_metodaiKaedah_formalFormele_methodenMetody_formalneM%C3%A9todos_formais%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D1%8B%D0%B5_%D0%BC%D0%B5%D1%82%D0%BE%D0%B4%D1%8B%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D0%BD%D0%B5_%D0%BC%D0%B5%D1%82%D0%BE%D0%B4%D0%B5Formella_metoderBi%C3%A7imsel_y%C3%B6ntemler%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D1%96_%D0%BC%D0%B5%D1%82%D0%BE%D0%B4%D0%B8C%C3%A1c_ph%C6%B0%C6%A1ng_ph%C3%A1p_h%C3%ACnh_th%E1%BB%A9cQ1049183%E5%BD%A2%E5%BC%8F%E5%8C%96%E6%96%B9%E6%B3%95%E5%BD%A2%E5%BC%8F%E5%8C%96%E6%96%B9%E6%B3%95
about
name
Biçimsel yöntemler
@tr
Các phương pháp hình thức
@vi
Formale Methode
@de
Formalūs metodai
@lt
Kaedah formal
@ms
Metoda formal
@id
Metody formalne
@pl
formal methods
@en
formala metodo
@eo
formele methoden
@nl
type
label
Biçimsel yöntemler
@tr
Các phương pháp hình thức
@vi
Formale Methode
@de
Formalūs metodai
@lt
Kaedah formal
@ms
Metoda formal
@id
Metody formalne
@pl
formal methods
@en
formala metodo
@eo
formele methoden
@nl
altLabel
Formale Methoden
@de
Metodo formal
@es
Metodos formales
@es
Método formal
@pt
Métodos formales
@es
formele methode
@nl
methode formelle
@fr
méthodes formelles
@fr
توابع رسمی
@fa
توابع صوری
@fa
prefLabel
Biçimsel yöntemler
@tr
Các phương pháp hình thức
@vi
Formale Methode
@de
Formalūs metodai
@lt
Kaedah formal
@ms
Metoda formal
@id
Metody formalne
@pl
formal methods
@en
formala metodo
@eo
formele methoden
@nl
P6366
P646
P1245
P279
P3417
Formal-Methods
P373
Formal methods