Skip to content

GradePadi

Find a Tutor
Group classes
Exam revision
Study Library
Earn by Sharing
Explore
Gift a Padi
Sign in
EN FR

Find a Tutor
Group classes
Exam revision
Study Library
Earn by Sharing
Explore
Gift a Padi

EN FR Sign in Join GradePadi

Explore learning
›
University and higher education
›
University of Buea

Course

CSC704 · Advanced formal methods in software engineering

University of Buea

Programmes: Faculty of Science / PhD

Search subjects, courses or course codes

Nothing here yet.

GradePadi

Your learning padi, from nursery to university, skills and beyond. In English and French.

Follow us

Learn

Find a Tutor
Group classes
Exam revision
Study Library
Explore learning

Earn and give

Earn by Sharing
Gift a Padi
GradePadi Learner Fund
Become a tutor

Your account

Join GradePadi
Sign in

Contact us

Email: [email protected]

FAI GROUP OF COMPANIES LTD, UB Junction, Molyko, Buea, CameroonView on the map ↗

© 2026 GradePadi. A FAI Group of Companies Ltd service. · Made with care in Buea, Cameroon

EN FR Back to top ↑

GradePadi Help

Type your question…

Gift a Padi Help a padi study for free