Dictionnaire français - anglais

informatique et traitement des données - iate.europa.eu
Formal methods for life-critical software... This paper demonstrates how to apply formal methods to the development and verification of software by leading the reader step-by-step through requirements analysis, design, implementation, and verification of an electronic phone book application....
général - core.ac.uk - PDF: citeseerx.ist.psu.edu
Formal methods for life-critical software... This paper demonstrates how to apply formal methods to the development and veri cation of software by leading the reader step-by-step through requirements analysis, design, implementation, and verification of an electronic phone book application....

Exemples français - anglais

informatique et traitement des données / santé - acta.es
environnement - iate.europa.eu
industrie mécanique - lexique.mecaniqueindustrielle.com
[...]
communication / transport terrestre - iate.europa.eu
communication - iate.europa.eu
communication / informatique et traitement des données - iate.europa.eu
[...]


1 milliard de traductions classées par domaine d'activité en 28 langues