National Library of Finland
Open Data and Linked Data Service
Search works, persons, organizations and subjects:
Tienari, Martti
URI:
http://urn.fi/URN:NBN:fi:au:pn:000060852
birthDate
1935
deathDate
2013
name
Tienari, Martti
Authored works
A note on the definition of attribute grammar
ATK-suunnittelukurssin harjoitustehtäviä
Formal specification of computer communication protocols
Fortsetzung einer quasikonformen Abbildung über einen Jordanbogen
Helsingin yliopiston tietojenkäsittelyopin laitos 1967-1990
Johdanto tilakoneformalismin käyttöön tietoliikenneprotokollien spesifioinnissa ja analyysissä
Ohjelmointikielet ja kääntäjät : semantiikka
Ohjelmointikielten teorian perusteista
Über die Lösung von partiellen Differentialgleichungen erster Ordnung nach der Methode der sukzessiven Approximationen
Works contributed to
Compositional failure-based semantic models for Basic LOTOS
Computer science at the University of Helsinki
Computer science at the University of Helsinki 1996
Computer science at the University of Helsinki 1998
Matemaattis-luonnontieteellisen osaston tutkimuspoliittinen ohjelma
PROTAN - an estelle based environment for protocol verification : a status report
PROTAN88 : a software tool for verifying communication protocols specified with an extended state transition model
Tietotekniikan alkuvuodet Suomessa
Works about Tienari, Martti
Download this resource as RDF:
Turtle
RDF/XML
N-Triples
JSON-LD