Engels

Arabisch Catalaans Chinees Deens Duits Engels Frans Grieks Hebreeuws Hindi Hongaars Italiaans Japans Koreaans Nederlands Oekraïens Perzisch Pools Portugees Roemeens Russisch Slowaaks Spaans Thai Tsjechisch Turks Vietnamees Zweeds

Frans

Definitie Arabisch Catalaans Chinees Deens Duits Engels Frans Grieks Hebreeuws Hindi Hongaars Italiaans Japans Koreaans Nederlands Oekraïens Perzisch Pools Portugees Roemeens Russisch Slowaaks Spaans Thai Tsjechisch Turks Vietnamees Zweeds

Favorieten

Publiciteit

sourceprogram annotated

Examples with "sourceprogram annotated" and their translation in Frans

We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.

annotated

annoté commenté annotation annoter

Secondly, the Why platform extracts verification conditions from a sourceprogram annotated by specifications, and then transmits them to SMT solvers or proof assistants to check the program correctness.

Les procéduresde décision sont les moteurs des solveurs SMT, et la plateforme Why engendre des conditions devérification dérivées d'un programme source annoté, qu'elle transmet aux solveurs SMT (ou assistants depreuve) pour vérifier la correction du programme.Mots-clés

Er zijn geen resultaten gevonden voor deze term.

Synoniemen voor sourceprogram annotated in het Engels

Woord & uitdrukking van de dag

elusive

push the boundaries

Afbeelding van de dag

Ontdek het woord

rake

Publiciteit

Meer functies met onze gratis app

Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes

Resultaten: 1. Exact: 1. Verstreken tijd: 59 ms.