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.
Cita MLAJim Woodcock Martin Loomes. Software Engineering Mathematics: Formal Methods Demystefied. Pitman, 1989.
Atenció: Aquestes cites poden no estar 100% correctes.