Enlarge

Formal methods in standards : a report from the BCS Working Group

Publication Data

Title Formal methods in standards : a report from the BCS Working Group
Contributors C. L. N. Ruggles, Derek Andrews, British Computer Society
Publisher Springer-Verlag
Publication date 1990
Publication location London
Language English

Topics

012717391

Catalogue Data

OBNB ID GB9024891
ISBN 10 3540195777
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 004.0218

ISBD

P1053 135p.
P1042 Bibliography: p79-92.

Buy a copy

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

Formal methods in standards : a report from the BCS Working Group. ISBN 3540195777. Published by Springer-Verlag in 1990. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.