Partially defined Lotos specifications and their refinement relations

URI: http://urn.fi/URN:NBN:fi:bib:me:W00022966200
author
inLanguage
  • en
isPartOf
name
  • Partially defined Lotos specifications and their refinement relations
P60049

Instances

Partially defined Lotos specifications and their refinement relations

URI: http://urn.fi/URN:NBN:fi:bib:me:I00657130001
description
  • Myös painettuna (ISBN 951-45-9604-8)
isPartOf
name
  • Partially defined Lotos specifications and their refinement relations
View this in Finna

Partially defined Lotos specifications and their refinement relations

URI: http://urn.fi/URN:NBN:fi:bib:me:I00022966200
datePublished
  • 2000
description
  • kuvitettu
identifier
  • propertyID: FI-FENNI value: 680654
  • propertyID: FI-MELINDA value: 000229662
  • propertyID: skl value: fx680654
isbn
  • 9514596048
isPartOf
name
  • Partially defined Lotos specifications and their refinement relations
numberOfPages
  • 157, [8] s.
P60048
P60050
publication
  • location: Helsinki organizer: Helsingin yliopisto
publisher
View this in Finna

Partially defined Lotos specifications and their refinement relations

URI: http://urn.fi/URN:NBN:fi:bib:me:I00657130000
bookFormat
datePublished
  • 2004
description
  • Kuvailun perusta: Nimeke nimiönäytöstä.
  • Tekstiä
  • University of Helsinki, Faculty of Science, Department of Computer Science
identifier
  • propertyID: FI-FENNI value: 778093
  • propertyID: FI-MELINDA value: 006571300
  • propertyID: skl value: fx778093
isbn
  • 9521018089
isPartOf
name
  • Partially defined Lotos specifications and their refinement relations
P60048
P60050
publication
  • location: Helsinki organizer: Helsingin yliopisto
publisher
url

Download this resource as RDF: