A
Ali Mili
10 works on record
Works
Computer program construction
1994
An introduction to program fault tolerance
1990
Towards structured specifying
1989
An introduction to formal program verification
1985
Software Testing: Concepts and Operations (Quantitative Software Engineering Series)
Verification and Evaluation of Computer and Communication Systems
Software Engineering
Discrete Mathematics and Logic
Software Testing
Software Testing
Aʻmāl al-Nadwah al-ʻĀlamīyah al-Ūlá li-Tadrīs al-Maʻlūmātīyah bi-al-Lughah al-ʻArabīyah al-munʻaqidah bi-Tūnis fī 18 Jūwīliyah 2003
Aʻmāl al-Nadwah al-ʻĀlamīyah al-Ūlá li-Tadrīs al-Maʻlūmātīyah bi-al-Lughah al-ʻArabīyah al-munʻaqidah bi-Tūnis fī 18 Jūwīliyah 2003