Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Ali Mili | lit.salon

Author

Ali Mili

10 works

1985–2015 across 8 dated works

No biography is available yet.

Start with

An introduction to formal program verification1985
Towards structured specifying: theory, practice, applications1989
An introduction to program fault tolerance: a structured programming approach1990
Computer program construction1994

Books

8 works

Featured (8)Featured (8)All (10)All (10)

Search booksSort books

An introduction to formal program verification1985
1 edition
shelves
0
reviews
0
lists
0
quotes
0
An introduction to program fault tolerance: a structured programming approach1990
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Towards structured specifying: theory, practice, applications1989
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Computer program construction1994
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Software Testing Concepts and Operations2015
With Fairouz Tchier
3 editions
shelves
0
reviews
0
lists
0
quotes
0
Software Testing: Concepts and Operations (Quantitative Software Engineering Series)2015
With Fairouz Tchier
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Discrete Mathematics and Logic: Theoretical Foundations for Computer Science, An Arabic Text2006
With Lamia, Labed Jilani
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Software Engineering: Technical, Organizational and Economic Aspects, an Arabic Textbook2006
With Hany Ammar
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Ali Mili.

The conversation is still open.

There is no public salon activity to show for Ali Mili yet.