hig.se
Publications
System disruptions
We are currently experiencing disruptions on the search portals due to high traffic. We are working to resolve the issue, you may temporarily encounter an error message.
Please wait ...
Simple search
Advanced search -
Research publications
Advanced search -
Student theses
Statistics
English
Svenska
Norsk
Jump to content
Change search
Search
Search
Only documents with full text in DiVA
Cite
Export
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 5
CSV all metadata
CSV all metadata version 2
RIS
Mods
MARC-XML
ETDMS
Link to record
Permanent link
https://urn.kb.se/resolve?urn=urn:nbn:se:hig:diva-45131
Direct link
http://hig.diva-portal.org/smash/record.jsf?pid=diva2:1881599
Cite
Citation style
apa
harvard-cite-them-right
ieee
modern-language-association-8th-edition
vancouver
Other style
apa
harvard-cite-them-right
ieee
modern-language-association-8th-edition
vancouver
Other style
More styles
Language
sv-SE
en-GB
en-US
fi-FI
nn-NO
nn-NB
de-DE
Other locale
sv-SE
en-GB
en-US
fi-FI
nn-NO
nn-NB
de-DE
Other locale
More languages
Output format
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Create
Close
Abstract Algebra of Program Refinement
Solin, Kim
University of Gävle, Faculty of Engineering and Sustainable Development, Department of Computer and Geospatial Sciences, Decision, Risk and Policy Analysis. Åbo Akademi.
2007 (English)
Doctoral thesis, monograph (Other academic)
Place, publisher, year, edition, pages
Åbo, Finland: Åbo Akademi, TUCS , 2007. , p. 174
Series
TUCS Dissertations, ISSN 1239-1883 ; 95
Keywords [en]
program refinement, the logic of action, abstract algebra
National Category
Computer Sciences
Identifiers
URN:
urn:nbn:se:hig:diva-45131
ISBN:
978-952-12-1988-7 (print)
OAI: oai:DiVA.org:hig-45131
DiVA, id:
diva2:1881599
Available from:
2015-02-02
Created:
2024-07-03
Bibliographically approved
Open Access in DiVA
No full text in DiVA
Authority records
Solin, Kim
Search in DiVA
By author/editor
Solin, Kim
By organisation
Decision, Risk and Policy Analysis
On the subject
Computer Sciences
Search outside of DiVA
Google
Google Scholar
isbn
urn-nbn
Altmetric score
isbn
urn-nbn
Total: 29 hits
Cite
Export
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 5
CSV all metadata
CSV all metadata version 2
RIS
Mods
MARC-XML
ETDMS
Link to record
Permanent link
https://urn.kb.se/resolve?urn=urn:nbn:se:hig:diva-45131
Direct link
http://hig.diva-portal.org/smash/record.jsf?pid=diva2:1881599
Cite
Citation style
apa
harvard-cite-them-right
ieee
modern-language-association-8th-edition
vancouver
Other style
apa
harvard-cite-them-right
ieee
modern-language-association-8th-edition
vancouver
Other style
More styles
Language
sv-SE
en-GB
en-US
fi-FI
nn-NO
nn-NB
de-DE
Other locale
sv-SE
en-GB
en-US
fi-FI
nn-NO
nn-NB
de-DE
Other locale
More languages
Output format
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Create
Close
v. 2.45.0
|
WCAG
|
University Library in Gävle
|
Research at the University
|
Publish in DiVA
DiVA
Logotyp