Partially Defined Lotos Specifications and their Refinement Relations

Doria

Suomeksi       På svenska       In English

Partially Defined Lotos Specifications and their Refinement Relations

Karvi, Timo (2000-12)

Julkaisun pysyvä osoite on http://urn.fi/URN:ISBN:952-10-1808-9

Icon
Nimi: partiall.pdf
Koko: 841.8Kt
Formaatti: PDF
Nimeke: Partially Defined Lotos Specifications and their Refinement Relations
Tekijä: Karvi, Timo
Muu tekijä: 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
Päiväys: 2000-12
Taso: Väitöskirja
Näytä kaikki kuvailutiedot

Viite kuuluu kokoelmiin: