Personal Information
Organização/Local de trabalho
Kuala Lumpur, Malaysia MY
Cargo
Senior Lecturer
Setor
Education
Sobre
Contact with me via
email: ssalemg@gmail.com
Marcadores
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
Ver mais
Apresentações
(9)Gostaram
(11)Multiple linear regression II
James Neill
•
Há 12 anos
Decoding Body Language
Yang Ao Wei 楊翱維
•
Há 9 anos
The managerial transformation process
Varun Mathur
•
Há 9 anos
Chapter 02 Equal Employment Opportunity and Huamn Resources Managmement
Rayman Soe
•
Há 9 anos
Chapter 12 Safety and Health
Rayman Soe
•
Há 9 anos
Chapter 11 Employee Benefits
Rayman Soe
•
Há 9 anos
Chapter 13 Employee Rights and Discipline
Rayman Soe
•
Há 9 anos
Chapter 14 The Dynamics of Labor Relations
Rayman Soe
•
Há 9 anos
Chapter 15 International Human Resources Management
Rayman Soe
•
Há 9 anos
Chapter 16 Creating High-Performance Work Systems
Rayman Soe
•
Há 9 anos
Intro To Networking
Phil Ashman
•
Há 14 anos
Personal Information
Organização/Local de trabalho
Kuala Lumpur, Malaysia MY
Cargo
Senior Lecturer
Setor
Education
Sobre
Contact with me via
email: ssalemg@gmail.com
Marcadores
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
Ver mais