A formal model of software subsystems /

Bibliographic Details
Main Author: Edwards, Stephen
Language:English
Published: The Ohio State University / OhioLINK 1995
Subjects:
Online Access:http://rave.ohiolink.edu/etdc/view?acc_num=osu1487861796819812
id ndltd-OhioLink-oai-etd.ohiolink.edu-osu1487861796819812
record_format oai_dc
spelling ndltd-OhioLink-oai-etd.ohiolink.edu-osu14878617968198122021-08-03T06:57:53Z A formal model of software subsystems / Edwards, Stephen Computer Science 1995 English text The Ohio State University / OhioLINK http://rave.ohiolink.edu/etdc/view?acc_num=osu1487861796819812 http://rave.ohiolink.edu/etdc/view?acc_num=osu1487861796819812 unrestricted This thesis or dissertation is protected by copyright: all rights reserved. It may not be copied or redistributed beyond the terms of applicable copyright laws.
collection NDLTD
language English
sources NDLTD
topic Computer Science
spellingShingle Computer Science
Edwards, Stephen
A formal model of software subsystems /
author Edwards, Stephen
author_facet Edwards, Stephen
author_sort Edwards, Stephen
title A formal model of software subsystems /
title_short A formal model of software subsystems /
title_full A formal model of software subsystems /
title_fullStr A formal model of software subsystems /
title_full_unstemmed A formal model of software subsystems /
title_sort formal model of software subsystems /
publisher The Ohio State University / OhioLINK
publishDate 1995
url http://rave.ohiolink.edu/etdc/view?acc_num=osu1487861796819812
work_keys_str_mv AT edwardsstephen aformalmodelofsoftwaresubsystems
AT edwardsstephen formalmodelofsoftwaresubsystems
_version_ 1719450140633202688