Practical formal methods with vdm
Andrews,derek
Practical formal methods with vdm - Mcgraw hill
0077072146
Computer software-development
005.1 AND
Practical formal methods with vdm - Mcgraw hill
0077072146
Computer software-development
005.1 AND