Tool support for executable specification - a technique using Meta-IV and Prolog

File Description SizeFormat 
Wong-NC-1987-PhD-Thesis.pdf7.31 MBAdobe PDFView/Open
Title: Tool support for executable specification - a technique using Meta-IV and Prolog
Authors: Wong, Ngiam Chiung
Item Type: Thesis or dissertation
Content Version: Imperial Users only
Issue Date: 1987
Date Awarded: 1987
URI: http://hdl.handle.net/10044/1/46912
Author: Wong, Ngiam Chiung
Department: Department of Computing
Publisher: Imperial College London
Qualification Level: Doctoral
Qualification Name: PhD
Appears in Collections:University of London awarded theses - Imperial authors



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

Creative Commonsx