Testing and verifying invariant based programs in the SOCOS environment

URI: http://urn.fi/URN:NBN:fi:bib:me:W00046114300
author
contributor
inLanguage
  • en
isPartOf
name
  • Testing and verifying invariant based programs in the SOCOS environment
P60049

Instances

View this in Finna

Testing and verifying invariant based programs in the SOCOS environment

URI: http://urn.fi/URN:NBN:fi:bib:me:I00046114300
datePublished
  • 2006
description
  • kuvitettu
identifier
  • propertyID: FI-FENNI value: 845981
  • propertyID: FI-MELINDA value: 000461143
  • propertyID: skl value: fx845981
isbn
  • 9521218355
isPartOf
name
  • Testing and verifying invariant based programs in the SOCOS environment
numberOfPages
  • 19, [3] s.
P60048
P60050
publication
  • location: Turku organizer: Turun tietotekniikan tutkimus- ja koulutuskeskus
publisher

Download this resource as RDF: