FORMAL PROGRAM DEVELOPMENT METHODS A textbook
Theoretical basis of formal specification of sequential and parallel programs based on algorithm algebra and rewriting rules technique is outlined.
Theoretical basis of formal specification of sequential and parallel programs based on algorithm algebra and rewriting rules technique is outlined.