On construction of correct programs as a two-level process

author
inLanguage
  • en
isPartOf
name
  • On construction of correct programs as a two-level process
  • On construction of correct programs as a twolevel process
P60049

Instances

On construction of correct programs as a twolevel process

datePublished
  • 1975
description
  • kuvitettu
identifier
  • propertyID: FI-FENNI value: 228220
  • propertyID: FI-MELINDA value: 006576646
  • propertyID: skl value: fx228220
isbn
  • 9517670912
isPartOf
name
  • On construction of correct programs as a twolevel process
numberOfPages
  • 137 s.
P60048
P60050
publication
  • location: Otaniemi organizer: OtaDATA
publisher
  • OtaDATA

On construction of correct programs as a two-level process

datePublished
  • 1975
description
  • kuvitettu
identifier
  • propertyID: FI-FENNI value: 220420
  • propertyID: FI-MELINDA value: 005486546
  • propertyID: skl value: fx220420
isbn
  • 9517670192
isPartOf
name
  • On construction of correct programs as a two-level process
numberOfPages
  • 137 s.
P60048
P60050
publication
  • location: Espoo organizer: OtaDATA
publisher
  • OtaDATA

On construction of correct programs as a two-level process

datePublished
  • 1975
description
  • kuvitettu
  • X.
identifier
  • propertyID: FI-FENNI value: 228219
  • propertyID: FI-MELINDA value: 005486545
  • propertyID: skl value: f757283
isPartOf
name
  • On construction of correct programs as a two-level process
numberOfPages
  • [2], 137 s.
P60048
P60050
publication
  • location: Espoo organizer: tekijä
publisher
  • tekijä

Download this resource as RDF: