Personal Information
Unternehmen/Arbeitsplatz
Kuala Lumpur, Malaysia MY
Beruf
Senior Lecturer
Branche
Education
Info
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
Mehr anzeigen
Präsentationen
(9)Gefällt mir
(11)Multiple linear regression II
James Neill
•
Vor 12 Jahren
Decoding Body Language
Yang Ao Wei 楊翱維
•
Vor 9 Jahren
The managerial transformation process
Varun Mathur
•
Vor 9 Jahren
Chapter 02 Equal Employment Opportunity and Huamn Resources Managmement
Rayman Soe
•
Vor 9 Jahren
Chapter 12 Safety and Health
Rayman Soe
•
Vor 9 Jahren
Chapter 11 Employee Benefits
Rayman Soe
•
Vor 9 Jahren
Chapter 13 Employee Rights and Discipline
Rayman Soe
•
Vor 9 Jahren
Chapter 14 The Dynamics of Labor Relations
Rayman Soe
•
Vor 9 Jahren
Chapter 15 International Human Resources Management
Rayman Soe
•
Vor 9 Jahren
Chapter 16 Creating High-Performance Work Systems
Rayman Soe
•
Vor 9 Jahren
Intro To Networking
Phil Ashman
•
Vor 14 Jahren
Personal Information
Unternehmen/Arbeitsplatz
Kuala Lumpur, Malaysia MY
Beruf
Senior Lecturer
Branche
Education
Info
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
Mehr anzeigen