Cover image not available

The evolution of Def Stan 00-55 and 00-56 : an intensification of the 'formal methods debate' in the UK

Margaret Tierney

Publication Data

Title The evolution of Def Stan 00-55 and 00-56 : an intensification of the 'formal methods debate' in the UK
Author Margaret Tierney
Contributor Edinburgh PICT
Publisher Centre for Social Sciences, University of Edinburgh
Publication date 1991
Publication location Edinburgh
Language English

Topics

Computer software :: Development
Military art and science :: Computer programs

Catalogue Data

OBNB ID GB9213695
ISBN 10 1872287336
ISBN 13 n/a
Type BibliographicResource, Book

ISBD

P1053 44. [3] p.
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:

The evolution of Def Stan 00-55 and 00-56 : an intensification of the 'formal methods debate' in the UK by Margaret Tierney. ISBN 1872287336. Published by Centre for Social Sciences, University of Edinburgh in 1991. Publication and catalogue information, links to buy online and reader comments.