National Library of Finland
Open Data and Linked Data Service
Search works, persons, organizations and subjects:
Proceedings of the 5th Nordic Workshop on Program Correctness
URI:
http://urn.fi/URN:NBN:fi:bib:me:W00078124600
contributor
Back, Ralph-Johan
Sere, Kaisa
inLanguage
en
isPartOf
Fennica
name
Proceedings of the 5th Nordic Workshop on Program Correctness
P60049
<http://rdaregistry.info/termList/RDAContentType/1020>
Instances
1994 : Åbo Akademi
View this in Finna
Proceedings of the 5th Nordic Workshop on Program Correctness
URI:
http://urn.fi/URN:NBN:fi:bib:me:I00078124600
datePublished
1994
description
kuvitettu
identifier
propertyID:
FI-FENNI
value:
389936
propertyID:
FI-MELINDA
value:
000781246
propertyID:
skl
value:
fx389936
isbn
9516504000
isPartOf
Fennica
Rapporter från Åbo akademi. Informationsbehandling & matematik. Serie B
name
Proceedings of the 5th Nordic Workshop on Program Correctness
numberOfPages
222, [9] s.
P60048
<http://rdaregistry.info/termList/RDACarrierType/1049>
P60050
<http://rdaregistry.info/termList/RDAMediaType/1007>
publication
location:
Åbo
organizer:
Åbo Akademi
publisher
Åbo Akademi
Download this resource as RDF:
Turtle
RDF/XML
N-Triples
JSON-LD