Cover image not available

An algebraic proof in VDM

A. P. Hughes

Publication Data

Title An algebraic proof in VDM
Author A. P. Hughes
Contributors A. A. Donnelly, A. A. Donnelly
Publisher Trinity College, Department of Computer Science
Publication date 1996
Publication location Dublin
Language English

Topics

Ireland

Catalogue Data

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

ISBD

P1053 27p.
P1042 Includes bibliographic references.

Buy a copy

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

An algebraic proof in VDM by A. P. Hughes. Published by Trinity College, Department of Computer Science in 1996. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.