AtelierB project with a loop
已关闭
已发布的
Apr 29, 2015
货到付款
$10-30 USD
货到付款
已关闭
货到付款
I need a demonstration AtelierB project with the following conditions:
- in the invariant section, which contains either a universal quantifier or an existential quantifier
- the machine (or the implementation of the machine) must use loop
- the problem - which is solved by the project - must be something which could only be solved by using a loop (You must define a simple problem, which cannot be solved without using a loop)
项目ID: #7575450
关于项目
远程项目
活跃的Jun 8, 2015