Loading previews...
Text
|
Download (167kB) |
 Solution |  Tut02_PredLogic_sol.zip | Tut02_SetThy_sol.zip | Tut02_RichPoor_sol.zip | Problem |
COMP2214 - Problem Class 02 - Deductive Proof (Predicate Logic and Set Theory)
Exercises for Predicate Logic and Set Theory Proof in Rodin Platform
| Added By: |
Dr Son Hoang
|
|---|---|
| Date Added: | 14 Feb 2021 18:34 |
| Creators Name: |
Dr Son Hoang
|
| Tags: | Event-B, formal methods, software engineering |
| Viewing permissions: | University |
| Course codes: | COMP2214 |
| Link: | http://edshare.soton.ac.uk/id/eprint/20825 |
| Downloads & Views |  |
 |