A formal model of software subsystems /
Main Author: | |
---|---|
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 |