A constructive method for the architectural design and correctness verification of real-time programs

URI: http://urn.fi/URN:NBN:fi:bib:me:W00410758800
author
inLanguage
  • en
isPartOf
name
  • A constructive method for the architectural design and correctness verification of real-time programs
P60049

Instances

View this in Finna

A constructive method for the architectural design and correctness verification of real-time programs

URI: http://urn.fi/URN:NBN:fi:bib:me:I00410758800
datePublished
  • 1983
description
  • kuvitettu
identifier
  • propertyID: FI-FENNI value: 92062
  • propertyID: FI-MELINDA value: 004107588
  • propertyID: skl value: fx92062
isbn
  • 951666170X
isPartOf
name
  • A constructive method for the architectural design and correctness verification of real-time programs
numberOfPages
  • 122, [1] s.
P60048
P60050
publication
  • location: Hki organizer: Teknillisten tieteiden akatemia
publisher

Download this resource as RDF: