|
"insieme di tecniche matematicamente rigorose per la specifica, sviluppo e verifica di sistemi software e hardware"@it
"matematisk programspesifikasjon ment å tillate korrekthetsbevis, inkludert algoritmisk"@nb
"mathematical program specification intended to allow correctness proofs, including algorithmically"@en
"techniques de raisonnement mathématique sur des programmes ou du matériel informatique"@fr
"специфікація математичної програми, техніка математичних міркувань, призначена для підтвердження правильності, в тому числі алгоритмічно"@uk
"مواصفات البرنامج الرياضي التي تهدف إلى السماح بإثباتات الصحة، بما في ذلك الخوارزميات"@ar
|