Simulation and fixpoint semantics

Autor: Thijs, Albert Marchienus.
Jazyk: angličtina
Rok vydání: 1996
Předmět:
Druh dokumentu: Proefschriften (vorm)
Popis: Proefschrift Rijksuniversiteit Groningen.
Datum laatste controle: 31-10-1996. Met lit. opg., index. - Met samenvatting in het Nederlands.
Databáze: Networked Digital Library of Theses & Dissertations