Enlarge

Applications of formal methods

Publication Data

Title Applications of formal methods
Contributors Michael G. Hinchey, J. P. Bowen
Publisher Prentice Hall
Publication date 1995
Publication location London
Language English

Topics

System design
Computer software :: Development

Catalogue Data

OBNB ID GB9584858
ISBN 10 0133669491
ISBN 13 n/a
Type BibliographicResource, Book

ISBD

P1053 xvii,447p.
P1042 Includes bibliographical references.

Buy a copy

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

Applications of formal methods. ISBN 0133669491. Published by Prentice Hall in 1995. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.