1
Computer program construction

Cover is for reference only
Main Authors: Mili Ali
Group Author: Desharnais Jules; Mili Fatma
Published: Oxford University Press,
Publication Dates: 1994.
Call Number: TP311.1/M644/
Book
Save to List
Saved in:
2
Towards structured specifying theory, practice, applications

Cover is for reference only
Main Authors: Mili Ali
Group Author: Mili Fatma; Boudriga Noureddine
Published: E. Horwood,
Publication Dates: 1989.
Call Number: TP311.52/M644/
Book
Save to List
Saved in:
3
An introduction to formal program verification

Cover is for reference only
Main Authors: Mili Ali
Published: Van Nostrand Reinhold Co.,
Publication Dates: c1985.
Call Number: TP31/M644.1/
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —