Sharif Omar Salem
118
Seguidores
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
- Documentos
- Infográficos