Ali Mili

Identifiers

Open LibraryOL576976A

Top Subjects

General Theory of Computing (2)
Computer programs -- Verification (1)
Software engineering (1)
Electronic data processing -- Structured techniques (1)
Structured programming (1)
Fault-tolerant computing (1)
Computer programming. (1)

Books by Ali Mili

Total count: 12

An introduction to formal program verification

Van Nostrand Reinhold Co.1985-01-01
Towards structured specifyingtheory, practice, applications

Halsted Press1989-01-01
An introduction to program fault tolerancea structured programming approach

Prentice Hall1990-01-01
Computer program construction

Oxford University Press1994-01-01
Reuse-Based Software EngineeringTechniques, Organizations, and Controls

Wiley-Interscience2001-12-15
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

Muʼassasat Fīlībs lil-Nashr2006-01-01
Software EngineeringTechnical, Organizational and Economic Aspects, an Arabic TextbookFirst edition

Lulu.com2006-02-23
Discrete Mathematics and LogicTheoretical Foundations for Computer Science, An Arabic Text

Lulu.com2006-11-12
Software TestingConcepts and Operations

Wiley & Sons, Incorporated, John2015-01-01
Software Testing: Concepts and Operations (Quantitative Software Engineering Series)

Wiley2015-06-15
Verification and Evaluation of Computer and Communication Systems11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, ...

Springer2017-08-15
Research in Computer Science7th Conference, CRI 2025, Yaoundé, Cameroon, December 16-17, 2025, Proceedings

Springer2026-01-01