National Library of Finland
Open Data and Linked Data Service
Search works, persons, organizations and subjects:
Formal development and quantitative verification of dependable systems
URI:
http://urn.fi/URN:NBN:fi:bib:me:W00616458500
about
atk-järjestelmät
kehittäminen
tietokoneohjelmat
author
Tarasyuk, Anton
inLanguage
en
isPartOf
Fennica
name
Formal development and quantitative verification of dependable systems
P60049
<http://rdaregistry.info/termList/RDAContentType/1020>
Instances
-
-, e-book
-, e-book
2013 : Turun tietotekniikan tutkimus- ja koulutuskeskus
Formal development and quantitative verification of dependable systems
URI:
http://urn.fi/URN:NBN:fi:bib:me:I00616458501
description
Julkaistu myös verkkoaineistona ISBN 978-952-12-2832-2 (PDF)
isPartOf
Fennica
TUCS general publications / Turku Centre for Computer Science
name
Formal development and quantitative verification of dependable systems
Formal development and quantitative verification of dependable systems
URI:
http://urn.fi/URN:NBN:fi:bib:me:I00616458502
bookFormat
<http://schema.org/EBook>
isPartOf
Fennica
TUCS general publications / Turku Centre for Computer Science
name
Formal development and quantitative verification of dependable systems
url
<http://www.doria.fi/handle/10024/87659>
Formal development and quantitative verification of dependable systems
URI:
http://urn.fi/URN:NBN:fi:bib:me:I00616458503
bookFormat
<http://schema.org/EBook>
isPartOf
Fennica
TUCS general publications / Turku Centre for Computer Science
name
Formal development and quantitative verification of dependable systems
url
<http://www.doria.fi/bitstream/handle/10024/87659/tarasyuk_anton.pdf?sequence=3>
View this in Finna
Formal development and quantitative verification of dependable systems
URI:
http://urn.fi/URN:NBN:fi:bib:me:I00616458500
datePublished
2013
description
Artikkeliväitöskirjan yhteenveto-osa ja 6 eripainosta.
kuvitettu
Nimiösivulla myös: Turku Centre for Computer Science, Åbo Akademi University, Department of Information Technologies.
Sammanfattning + 8 artiklar.
identifier
propertyID:
FI-FENNI
value:
1021497
propertyID:
FI-MELINDA
value:
006137829
propertyID:
FI-MELINDA
value:
006164585
propertyID:
skl
value:
fx1021497
isbn
9789521228315
isPartOf
Fennica
TUCS general publications / Turku Centre for Computer Science
name
Formal development and quantitative verification of dependable systems
numberOfPages
xii, 51, [136] s.
P60048
<http://rdaregistry.info/termList/RDACarrierType/1049>
P60050
<http://rdaregistry.info/termList/RDAMediaType/1007>
publication
location:
Turku
organizer:
Turun tietotekniikan tutkimus- ja koulutuskeskus
publisher
Turun tietotekniikan tutkimus- ja koulutuskeskus
Download this resource as RDF:
Turtle
RDF/XML
N-Triples
JSON-LD