Model checking large nuclear power plant safety system designs

about
author
inLanguage
  • en
isPartOf
name
  • Model checking large nuclear power plant safety system designs
P60049

Instances

Model checking large nuclear power plant safety system designs

description
  • Yhteenveto-osa julkaistu myös verkkoaineistona
isPartOf
name
  • Model checking large nuclear power plant safety system designs

Model checking large nuclear power plant safety system designs

isbn
  • 9789526069586
isPartOf
name
  • Model checking large nuclear power plant safety system designs

Model checking large nuclear power plant safety system designs

isbn
  • 9789526069593
isPartOf
name
  • Model checking large nuclear power plant safety system designs

Model checking large nuclear power plant safety system designs

isbn
  • 9789513884482
isPartOf
name
  • Model checking large nuclear power plant safety system designs

Model checking large nuclear power plant safety system designs

isbn
  • 9789513884475
isPartOf
name
  • Model checking large nuclear power plant safety system designs

Model checking large nuclear power plant safety system designs

description
  • Julkaistu myös painettuna
isPartOf
name
  • Model checking large nuclear power plant safety system designs

Model checking large nuclear power plant safety system designs

bookFormat
isPartOf
name
  • Model checking large nuclear power plant safety system designs
url

Model checking large nuclear power plant safety system designs

datePublished
  • 2016
description
  • Artikkeliväitöskirjan yhteenveto-osa ja 5 eripainosta.
  • kuvitettu
identifier
  • propertyID: FI-MELINDA value: 009876576
isbn
  • 9789513884482
  • 9789526069593
isPartOf
name
  • Model checking large nuclear power plant safety system designs
numberOfPages
  • 159 sivua, 60 sivua useina numerointijaksoina
P60048
P60050
publication
  • location: Helsinki organizer: Aalto-yliopisto
publisher

Model checking large nuclear power plant safety system designs

bookFormat
datePublished
  • 2016
description
  • Artikkeliväitöskirjan yhteenveto-osa.
identifier
  • propertyID: FI-MELINDA value: 009876624
isbn
  • 9789513884475
  • 9789526069586
isPartOf
name
  • Model checking large nuclear power plant safety system designs
numberOfPages
  • 1 verkkoaineisto (165 sivua)
P60048
P60050
publication
  • location: Helsinki organizer: Aalto-yliopisto
publisher
url

Download this resource as RDF: