Refinement calculus : Part 2, Parallel and reactive programs

URI: http://urn.fi/URN:NBN:fi:bib:me:W00004833800
contributor
inLanguage
  • en
isPartOf
name
  • Refinement calculus : Part 1, Sequential nondeterministic programs
  • Refinement calculus : Part 2, Parallel and reactive programs
P60049

Instances

View this in Finna

Refinement calculus : Part 2, Parallel and reactive programs

URI: http://urn.fi/URN:NBN:fi:bib:me:I00004833900
datePublished
  • 1989
description
  • kuvitettu
  • Sarjalla myös engl. nimeke.
identifier
  • propertyID: FI-FENNI value: 185081
  • propertyID: FI-MELINDA value: 000048339
  • propertyID: skl value: fx185081
isbn
  • 9516496520
isPartOf
name
  • Refinement calculus : Part 2, Parallel and reactive programs
numberOfPages
  • [1], 29 lehteä
P60048
P60050
publication
  • location: Åbo organizer: Åbo akademi
publisher
  • Åbo akademi
View this in Finna

Refinement calculus : Part 1, Sequential nondeterministic programs

URI: http://urn.fi/URN:NBN:fi:bib:me:I00004833800
datePublished
  • 1989
description
  • Sarjalla myös engl. nimeke.
identifier
  • propertyID: FI-FENNI value: 185080
  • propertyID: FI-MELINDA value: 000048338
  • propertyID: skl value: fx185080
isbn
  • 9516496512
isPartOf
name
  • Refinement calculus : Part 1, Sequential nondeterministic programs
numberOfPages
  • [1], 27 lehteä
P60048
P60050
publication
  • location: Åbo organizer: Åbo akademi
publisher
  • Åbo akademi

Download this resource as RDF: