Software prototyping, formal methods and VDM :: Sharam Hekmatpour :: ISBN 020117572X :: Addison-Wesley 1988 :: OBNB, the Open British National Bibliography

Publication Data

Title Software prototyping, formal methods and VDM
Author Sharam Hekmatpour
Contributor Darrel Ince
Publisher Addison-Wesley
Publication date 1988
Publication location Wokingham
Language English

Descriptive Notes

Bibliography: p138-153. _ Includes index.

Topics

Computer software :: Development
Formal methods (Computer science)

Catalogue Data

OBNB ID GB8843032
ISBN 10 020117572X
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.1

ISBD

P1053 x,222p.

Buy a copy

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

Software prototyping, formal methods and VDM by Sharam Hekmatpour. ISBN 020117572X. Published by Addison-Wesley in 1988. Publication and catalogue information, links to buy online and reader comments.