Formale_SpezifikationFormal_specificationEspecificaci%C3%B3n_formalEspezifikazio_formala_(informatika)%E5%BD%A2%E5%BC%8F%E4%BB%95%E6%A7%98%E8%A8%98%E8%BF%B0Formali_specifikacijaFamaritana_manarak%27endrikaEspecifica%C3%A7%C3%A3o_formal%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D0%B0%D1%8F_%D1%81%D0%BF%D0%B5%D1%86%D0%B8%D1%84%D0%B8%D0%BA%D0%B0%D1%86%D0%B8%D1%8FProgram_specification%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D0%B0_%D1%81%D0%BF%D0%B5%D1%86%D0%B8%D1%84%D1%96%D0%BA%D0%B0%D1%86%D1%96%D1%8FQ1437424
about
description
Beschreibung eines Computerprogramms mittels einer Notation
@de
describir de manera precisa la ...... usando una notación matemática
@es
mathematically based technique ...... tation of systems and software
@en
математическое описание програ ...... то, как она должна это делать
@ru
name
Espezifikazio formala (informatika)
@eu
Famaritana manarak'endrika
@mg
Formale Spezifikation
@de
Formali specifikacija
@lt
especificación formal
@es
especificação formal
@pt
formal specification
@en
formala specifo
@eo
specifica formale
@it
spécification formelle
@fr
type
label
Espezifikazio formala (informatika)
@eu
Famaritana manarak'endrika
@mg
Formale Spezifikation
@de
Formali specifikacija
@lt
especificación formal
@es
especificação formal
@pt
formal specification
@en
formala specifo
@eo
specifica formale
@it
spécification formelle
@fr
altLabel
Formalioji specifikacija
@lt
especificacion formal
@es
especificaciones formales
@es
Специфікація формальна
@uk
形式仕様
@ja
形式的仕様記述
@ja
形式規定
@zh-hant
形式规定
@zh
形式规范
@zh
prefLabel
Espezifikazio formala (informatika)
@eu
Famaritana manarak'endrika
@mg
Formale Spezifikation
@de
Formali specifikacija
@lt
especificación formal
@es
especificação formal
@pt
formal specification
@en
formala specifo
@eo
specifica formale
@it
spécification formelle
@fr