Formal software development using Z and the refinement calculus

Thesis (M.Sc.)--Memorial University of Newfoundland, 1994. Computer Science Bibliography: leaves 163-166. In process

Bibliographic Details
Main Author: Wee, Dennis Ju-Xieng, 1967-
Other Authors: Memorial University of Newfoundland. Dept. of Computer Science
Format: Thesis
Language:English
Published: 1993
Subjects:
Z (Computer program language)
Computer software > Development
Newfoundland studies
University of Newfoundland
Online Access:http://collections.mun.ca/cdm/ref/collection/theses2/id/184050
id ftmemorialunivdc:oai:collections.mun.ca:theses2/184050
record_format openpolar
spelling ftmemorialunivdc:oai:collections.mun.ca:theses2/184050 2023-05-15T17:23:34+02:00 Formal software development using Z and the refinement calculus Wee, Dennis Ju-Xieng, 1967- Memorial University of Newfoundland. Dept. of Computer Science 1993 xv, 184 leaves : ill. Image/jpeg; Application/pdf http://collections.mun.ca/cdm/ref/collection/theses2/id/184050 Eng eng Electronic Theses and Dissertations (16.81 MB) -- http://collections.mun.ca/PDFs/theses/Wee_DennisJu-Xieng.pdf 76203946 http://collections.mun.ca/cdm/ref/collection/theses2/id/184050 The author retains copyright ownership and moral rights in this thesis. Neither the thesis nor substantial extracts from it may be printed or otherwise reproduced without the author's permission. Paper copy kept in the Centre for Newfoundland Studies, Memorial University Libraries Z (Computer program language) Computer software--Development Text Electronic thesis or dissertation 1993 ftmemorialunivdc 2015-08-06T19:17:06Z Thesis (M.Sc.)--Memorial University of Newfoundland, 1994. Computer Science Bibliography: leaves 163-166. In process Thesis Newfoundland studies University of Newfoundland Memorial University of Newfoundland: Digital Archives Initiative (DAI)
institution Open Polar
collection Memorial University of Newfoundland: Digital Archives Initiative (DAI)
op_collection_id ftmemorialunivdc
language English
topic Z (Computer program language)
Computer software--Development
spellingShingle Z (Computer program language)
Computer software--Development
Wee, Dennis Ju-Xieng, 1967-
Formal software development using Z and the refinement calculus
topic_facet Z (Computer program language)
Computer software--Development
description Thesis (M.Sc.)--Memorial University of Newfoundland, 1994. Computer Science Bibliography: leaves 163-166. In process
author2 Memorial University of Newfoundland. Dept. of Computer Science
format Thesis
author Wee, Dennis Ju-Xieng, 1967-
author_facet Wee, Dennis Ju-Xieng, 1967-
author_sort Wee, Dennis Ju-Xieng, 1967-
title Formal software development using Z and the refinement calculus
title_short Formal software development using Z and the refinement calculus
title_full Formal software development using Z and the refinement calculus
title_fullStr Formal software development using Z and the refinement calculus
title_full_unstemmed Formal software development using Z and the refinement calculus
title_sort formal software development using z and the refinement calculus
publishDate 1993
url http://collections.mun.ca/cdm/ref/collection/theses2/id/184050
genre Newfoundland studies
University of Newfoundland
genre_facet Newfoundland studies
University of Newfoundland
op_source Paper copy kept in the Centre for Newfoundland Studies, Memorial University Libraries
op_relation Electronic Theses and Dissertations
(16.81 MB) -- http://collections.mun.ca/PDFs/theses/Wee_DennisJu-Xieng.pdf
76203946
http://collections.mun.ca/cdm/ref/collection/theses2/id/184050
op_rights The author retains copyright ownership and moral rights in this thesis. Neither the thesis nor substantial extracts from it may be printed or otherwise reproduced without the author's permission.
_version_ 1766113406891327488

Similar Items