National Library of Finland
Open Data and Linked Data Service
Search works, persons, organizations and subjects:
Järvinen, Hannu-Matti
URI:
http://urn.fi/URN:NBN:fi:au:pn:000118440
name
Järvinen, Hannu-Matti
Authored works
Laaja ohjelmointi
Sulautettu ohjelmointi
The design of a specification language for reactive systems
The DisCo language
The DisCo language and temporal logic of actions
Unix-ylläpitäjän opas
Works contributed to
Action system approach to the specification and design of distributed systems
Käyttöjärjestelmät
Object-oriented specification of reactive systems
Works about Järvinen, Hannu-Matti
Download this resource as RDF:
Turtle
RDF/XML
N-Triples
JSON-LD
