Software engineering mathematics
Subtitle: formal methods demystified
By: Jim Woodcock, Martin Loomes.
Contributors: Loomes, Martin.
Publisher: Pitman
Published: 1988
Place of publication: London
Language: eng
Number of pages: 291
Subjects: Electronic digital computers -- Programming.; Computer science -- Mathematics.
Notes: Includes index.