Personal Information
Organization / Workplace
Kuala Lumpur, Malaysia MY
Occupation
Senior Lecturer
Industry
Education
About
Contact with me via
email: ssalemg@gmail.com
Tags
formal methods
loop invariant
loop proof
induction methods
sharif salem
viva
information system
phd
programming logic
prologic
hoare logic
predicate logic
propositional logic
fomal methods
principles of logic
software engineering
See more
Presentations
(9)Likes
(11)Multiple linear regression II
James Neill
•
12 years ago
Decoding Body Language
Yang Ao Wei 楊翱維
•
9 years ago
The managerial transformation process
Varun Mathur
•
9 years ago
Chapter 02 Equal Employment Opportunity and Huamn Resources Managmement
Rayman Soe
•
9 years ago
Chapter 12 Safety and Health
Rayman Soe
•
9 years ago
Chapter 11 Employee Benefits
Rayman Soe
•
9 years ago
Chapter 13 Employee Rights and Discipline
Rayman Soe
•
9 years ago
Chapter 14 The Dynamics of Labor Relations
Rayman Soe
•
9 years ago
Chapter 15 International Human Resources Management
Rayman Soe
•
9 years ago
Chapter 16 Creating High-Performance Work Systems
Rayman Soe
•
9 years ago
Intro To Networking
Phil Ashman
•
14 years ago
Personal Information
Organization / Workplace
Kuala Lumpur, Malaysia MY
Occupation
Senior Lecturer
Industry
Education
About
Contact with me via
email: ssalemg@gmail.com
Tags
formal methods
loop invariant
loop proof
induction methods
sharif salem
viva
information system
phd
programming logic
prologic
hoare logic
predicate logic
propositional logic
fomal methods
principles of logic
software engineering
See more