Cover image not available

Formal methods and certainty : the case of Computational Logic Inc

Eloína Peláez

Publication Data

Title Formal methods and certainty : the case of Computational Logic Inc
Author Eloína Peláez
Contributor Edinburgh PICT
Publisher Research Centre for Social Sciences, University of Edinburgh
Publication date 1994
Publication location Edinburgh
Language English

Topics

Computational Logic Inc.
Computer software :: Reliability

Catalogue Data

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

ISBD

P1053 16 p.
P1042 Includes bibliography.

Buy a copy

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

Formal methods and certainty : the case of Computational Logic Inc by Eloína Peláez. ISBN 1872287581. Published by Research Centre for Social Sciences, University of Edinburgh in 1994. Publication and catalogue information, links to buy online and reader comments.