تكوين البرنامج (Q2206383)
task to construct a program that provably satisfies a given high-level formal specification الإنجليزية
| اللغة | التسمية | الوصف | أسماء أخرى |
|---|---|---|---|
| العربية | تكوين البرنامج |
لا يوجد وصف |
|
| الإنجليزية | program synthesis |
task to construct a program that provably satisfies a given high-level formal specification |