haku: @keyword Petri-verkot / yhteensä: 10
viite: 9 / 10
| Tekijä: | Tiusanen, Mikko |
| Työn nimi: | Petriverkkokääntäjän muodollinen määrittely ja toteutuksen suunnittelu |
| Julkaisutyyppi: | Diplomityö |
| Julkaisuvuosi: | 1985 |
| Sivut: | 58+38 Kieli: fin |
| Koulu/Laitos/Osasto: | Sähkötekniikan osasto |
| Oppiaine: | Digitaalitekniikka (1.79) |
| Valvoja: | Ojala, Leo |
| Ohjaaja: | |
| OEVS: | Sähköinen arkistokappale on luettavissa Aalto Thesis Databasen kautta.
Ohje Digitaalisten opinnäytteiden lukeminen Aalto-yliopiston Harald Herlin -oppimiskeskuksen suljetussa verkossaOppimiskeskuksen suljetussa verkossa voi lukea sellaisia digitaalisia ja digitoituja opinnäytteitä, joille ei ole saatu julkaisulupaa avoimessa verkossa. Oppimiskeskuksen yhteystiedot ja aukioloajat: https://learningcentre.aalto.fi/fi/harald-herlin-oppimiskeskus/ Opinnäytteitä voi lukea Oppimiskeskuksen asiakaskoneilla, joita löytyy kaikista kerroksista.
Kirjautuminen asiakaskoneille
Opinnäytteen avaaminen
Opinnäytteen lukeminen
Opinnäytteen tulostus
|
| Sijainti: | P1 Ark S80 | Arkisto |
| Avainsanat: | Petri-verkot algebralliset spesifikaatiot abstraktit tietotyypit syntaksiohjattu käännös |
| ED: | 1994-04-29 |
INSSI tietueen numero: 2933
+ lisää koriin
INSSI