Constructing verifiable programs : a design method and a case study

URI: http://urn.fi/URN:NBN:fi:bib:me:W00446147300
author
contributor
inLanguage
  • en
isPartOf
name
  • Constructing verifiable programs : a design method and a case study
P60049

Instances

View this in Finna

Constructing verifiable programs : a design method and a case study

URI: http://urn.fi/URN:NBN:fi:bib:me:I00446147300
datePublished
  • 1980
description
  • kuvitettu
  • Sarjalla myös engl. nimeke.
identifier
  • propertyID: FI-FENNI value: 69794
  • propertyID: FI-MELINDA value: 004461473
  • propertyID: skl value: fx69794
isbn
  • 9514519612
isPartOf
name
  • Constructing verifiable programs : a design method and a case study
numberOfPages
  • 65, [1] s.
P60048
P60050
publication
  • location: Hki organizer: Helsingin yliopisto
publisher

Download this resource as RDF: