Integrated formal methods : third international conference, IFM 2002 : Turku, Finland, May 15-18, 2002 : proceedings

URI: http://urn.fi/URN:NBN:fi:bib:me:W00025670500
contributor
inLanguage
  • en
isPartOf
name
  • Integrated formal methods : third international conference, IFM 2002 : Turku, Finland, May 15-18, 2002 : proceedings
P60049

Instances

View this in Finna

Integrated formal methods : third international conference, IFM 2002 : Turku, Finland, May 15-18, 2002 : proceedings

URI: http://urn.fi/URN:NBN:fi:bib:me:I00025670500
datePublished
  • 2002
description
  • kuvitettu
identifier
  • propertyID: FI-FENNI value: 824951
  • propertyID: FI-MELINDA value: 000256705
  • propertyID: skl value: fx824951
isbn
  • 3540437037
isPartOf
name
  • Integrated formal methods : third international conference, IFM 2002 : Turku, Finland, May 15-18, 2002 : proceedings
numberOfPages
  • X, 399 s.
P60048
P60050
publication
  • location: Berlin organizer: Springer
publisher
  • Springer

Download this resource as RDF: