Andrews,derek

Practical formal methods with vdm - Mcgraw hill

0077072146


Computer software-development

005.1 AND