|
Formal Specification and Design Techniques
|
| Page | 1/6 | | Date | 04.03.2021 | | Size | 0.69 Mb. | | #55992 |
| fmse-introduction Introduction `
Switch off mobile phones during lectures, or put them into silent mode
Please Obey Traffic Signals
Give Way to Ambulance because its destination is more important than yours
CONTRIBUTE TO SOCIETY Welcome in the course - Farooq Ahmad, PhD (CS), HIT, China
- Contact:
- Email: farooqahmad@cuilahore.edu.pk
- Office: Room 40, Faculty block
Course material - Software Development with Z: A practical approach to Formal Methods in Software Engineering by J.B. Wordsworth, Eddison-Wesley Publishing co., 1992
- Formal Software Development by Quentin Charatan; Palgrave MacMillan, 2004
Share with your friends: |
|
|
