Software engineering mathematics
Subtitle: formal methods demystified
By: Jim Woodcock, Martin Loomes.
Contributors: Loomes, Martin.
Publisher: Taylor & Francis
Published: 1997
Place of publication: London
Language: eng
Number of pages: 291
Subjects: Software engineering -- Mathematics.; Electronic digital computers -- Programming.; Electronic data processing -- Mathematics.
Notes: Reprint of 1988 edition published by Pitman.

Includes index.