Partially Defined Lotos Specifications and their Refinement Relations
| Contribuinte(s) |
Helsingin yliopisto, matemaattis-luonnontieteellinen tiedekunta, tietojenkäsittelytieteen laitos University of Helsinki, Faculty of Science, Department of Computer Science Helsingfors universitet, matematisk-naturvetenskapliga fakulteten, institutionen för datavetenskap |
|---|---|
| Data(s) |
01/12/2000
|
| Identificador |
URN:ISBN:952-10-1808-9 |
| Idioma(s) |
en |
| Publicador |
Helsingin yliopisto University of Helsinki Helsingfors universitet |
| Direitos |
Julkaisu on tekijänoikeussäännösten alainen. Teosta voi lukea ja tulostaa henkilökohtaista käyttöä varten. Käyttö kaupallisiin tarkoituksiin on kielletty. This publication is copyrighted. You may download, display and print it for Your own personal use. Commercial use is prohibited. Publikationen är skyddad av upphovsrätten. Den får läsas och skrivas ut för personligt bruk. Användning i kommersiellt syfte är förbjuden. |
| Tipo |
Väitöskirja Doctoral dissertation Doktorsavhandling Text |
