Iskani niz je bil najden v IZTOČNICAH:
Formal methods for asynchronous systems
Information technology and data processing
en
FORMAS
,
Formal methods for asynchronous systems
Information technology and data processing
da
formelle metoder for asynkrone systemer
de
Formale Methode für asynchrone Systeme
el
τυπικές μέθοδοι για ασύγχρονα συστήματα
en
FORMAS
,
es
FORMAS, el marco formal consiste en: una máquina de estados, basada en el dominio de Scott, para el modelo matemático, lógica de Hoare y lógica temporal para la corrección en análisis y concepción
,
métodos formales para sistemas asíncronos
fi
asynkronisten järjestelmien formaalit menetelmät(FORMAS)
fr
Méthodes formelles pour systèmes asynchrones
it
metodi formali per sistemi asincroni
nl
formele methoden voor asynchrone systemen
pt
métodos formais para sistemas assíncronos
sv
FORMAS
Formal Methods for Asynchronous System Technology
Information technology and data processing
en
FORMAST
,
Formal Model of Security Policy
Information technology and data processing
de
formales Sicherheitsmodell
fr
modèle formel de politique de sécurité
Formal Name
Information technology and data processing
da
formelt navn
de
formelle Bezeichnung
,
formeller Name
el
τυπικό όνομα
en
formal-name
es
nombre formal
fr
nom formel
,
nom officiel
it
nome formale
nl
formele naam
pt
nome formal
sv
formellt namn
formal note shall be taken (by the Court) of any refusal
fr
en cas de refus la Cour en prend acte
formal notice
LAW
bg
официално съобщение
,
официално уведомително писмо
,
официално уведомление
,
покана за доброволно изпълнение
da
påkrav
de
Aufforderung
,
Inverzugsetzung
,
Mahnung
el
κλήση προς συμμόρφωση
,
όχληση
en
notice
,
notice to pay or perform
es
intimación
et
hoiatus
fi
maksukehotus
,
virallinen huomautus
fr
mise en demeure
ga
fógra foirmiúil
hu
hivatalos felszólítás
it
costituzione in mora
,
messa in mora
lt
oficialus įspėjimas
lv
oficiāls rīkojums
mt
avviż formali
nl
ingebrekestelling
pl
wezwanie do zapłaty
sl
opomin
Dostopnost