Enlarge

Software engineering mathematics : formal methods demystified

Jim Woodcock

Publication Data

Title Software engineering mathematics : formal methods demystified
Author Jim Woodcock
Contributor Martin Loomes
Publisher Pitman
Publication date 1988
Publication location London
Language English

Descriptive Notes

Includes index.

Topics

Electronic digital computers :: Programming
008728089

Catalogue Data

OBNB ID GB8829820
ISBN 10 0273026739
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.131

ISBD

P1053 291

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Software engineering mathematics : formal methods demystified by Jim Woodcock. ISBN 0273026739. Published by Pitman in 1988. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.