.

Kirjasto - Tampereen teknillinen yliopisto

Browsing by Author "Männistö, Tatu"

Sort by: Order: Results:

  • Männistö, Tatu (1992)
    DisCo on Tampereen teknillisessä korkeakoulussa suunniteltu ja kehitetty formaali reaktiivisten rinnakkaisjärjestelmien spesifiointi- ja suunnittelukieli. DisCo on osittain suoritettavissa oleva formalismi, joka mahdollistaa ...