Jim Woodcock Martin Loomes. (1989). Software Engineering mathematics: Formal methods demystefied. Pitman.
Chicago Edition CitationJim Woodcock Martin Loomes. Software Engineering Mathematics: Formal Methods Demystefied. Pitman, 1989.
MLA Edition CitationJim Woodcock Martin Loomes. Software Engineering Mathematics: Formal Methods Demystefied. Pitman, 1989.
Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.