ATELIER B SOFTWARE ASSIGNMENT

Cancelled Posted Mar 7, 2011 Paid on delivery
Cancelled Paid on delivery

making use of a software called atelier B..if you have any experience of such then you are good for the project..you are to choose between question 1 or two any problem let me know

For the Atelier B exercises, try to discharge as many proof obligations as possible. Also provide a screenshot showing the number of discharged and undischarged proof obligations.

The exercises give a basic level of functionality for the specifications. Additional functionality is suggested in each case. In the event that additional functionality is attempted, this should be documented clearly at the beginning of the AMN code.

Insert comments in AMN code where its purpose is not immediately obvious

PHP XML

Project ID: #3153796

About the project

Remote project Active Mar 7, 2011