Jim Woodcock Martin Loomes. (1989). Software Engineering mathematics: Formal methods demystefied. Pitman.
Dyfyniad Arddull ChicagoJim Woodcock Martin Loomes. Software Engineering Mathematics: Formal Methods Demystefied. Pitman, 1989.
Dyfyniad MLAJim Woodcock Martin Loomes. Software Engineering Mathematics: Formal Methods Demystefied. Pitman, 1989.
Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.