Réalisées par des traducteurs professionnels, des entreprises, des pages web ou traductions disponibles gratuitement.
aspell @ item: inlistbox spell checker
aspell
Dernière mise à jour : 2011-10-23
Fréquence d'utilisation : 1
Qualité :
& Κωδικοποίηση: @ item: inlistbox spell checker
& encoding:
Dernière mise à jour : 2011-10-23
Fréquence d'utilisation : 1
Qualité :
Avertissement : un formatage HTML invisible est présent
Διεθνές ispell @ item: inlistbox spell checker
international ispell
Dernière mise à jour : 2011-10-23
Fréquence d'utilisation : 1
Qualité :
Το "adelaide refinement checker" ("arc") είναι ελεγκτής εκλέπτυνσης csp που αναπτύχθηκε από το formal modelling and verification group του Πανεπιστημίου της Αδελαΐδας.
the "adelaide refinement checker" ("arc") is a csp refinement checker developed by the formal modelling and verification group at the university of adelaide.
Dernière mise à jour : 2016-03-03
Fréquence d'utilisation : 1
Qualité :
Avertissement : un formatage HTML invisible est présent
* "the spin model checker: primer and reference manual", gerard j. holzmann, addison-wesley, isbn 0-321-22862-6.
* "the spin model checker: primer and reference manual", gerard j. holzmann, addison-wesley, isbn 0-321-22862-6.
Dernière mise à jour : 2016-03-03
Fréquence d'utilisation : 1
Qualité :
Avertissement : un formatage HTML invisible est présent
